FRESH
Hacker News
Home
Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence
16 points by nsomani
by aappleby
1 subcomments
No examples in the readme?
