Get the latest tech news

Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence

Automatically extract executable programs from pruned mechanistic circuits, extending OpenAI's Sparse Circuits - neelsomani/symbolic-circuit-distillation

None

Get the Android app