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

(github.com) by nsomani | Jan 6, 2026 | 0 comments on HN