Symbolic Circuit Distillation
prove program to LLM circuit equivalence. Automatically extract executable programs from pruned mechanistic circuits, extending OpenAI's Sparse Circuits. I have been working on a small interpretability project I call Symbolic Circuit Distillation.
Open source
Reactions (1)
Similar products
by description similarity
GPT Circuits
peterlai.github.ioMapping the inner workings of simple LLMs
A Transformer model that preserves logical equivalence
huggingface.coOptimize 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...
SymDerive
news.ycombinator.comA functional, stateless symbolic math library
DistilKitPlus
github.coma distillation framework between any LLMs
SymbolicAI
github.comA neurosymbolic perspective on LLMs