neelsomani/symbolic-circuit-distillation

Automatically extract executable programs from pruned mechanistic circuits, extending OpenAI's Sparse Circuits

16 best points · 2 comments · 1 Hacker News post · 73 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence (16 points, 2 comments, by nsomani, 2026-01-06)