← 최신 프로덕트

A Transformer model that preserves logical equivalence

Optimize logic circuits by minimizing their size while preserving logical equivalence. Provide a logic circuit in Aiger format with up to 8 inputs and 2 outputs, and specify the number of Monte-Car...

huggingface.co 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Symbolic Circuit Distillation

    github.com

    prove program to LLM circuit equivalence

    Hacker News16점

  2. Coinductive guide to inductive transformer heads [pdf]

    github.com

    Hacker News8점

  3. zkGolf

    zk.golf

    Competitive optimization of formally verified circuits

    Hacker News69점

  4. Curated Transformers

    github.com

    PyTorch LLMs with less code duplication

    Hacker News10점

  5. Duplicate 3 layers in a 24B LLM

    github.com

    logical deduction .22→.76. No training

    Hacker News265점