← Latest products

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...

Visit huggingface.coexternal site

Reactions (1)

Similar products

by description similarity

  1. Symbolic Circuit Distillation

    github.com

    prove program to LLM circuit equivalence

    Hacker News16 pts

  2. Coinductive guide to inductive transformer heads [pdf]

    github.com

    Hacker News8 pts

  3. zkGolf

    zk.golf

    Competitive optimization of formally verified circuits

    Hacker News69 pts

  4. Curated Transformers

    github.com

    PyTorch LLMs with less code duplication

    Hacker News10 pts

  5. Duplicate 3 layers in a 24B LLM

    github.com

    logical deduction .22→.76. No training

    Hacker News265 pts