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

(github.com)

16 points | by nsomani a day ago ago

2 comments