aappleby
a day ago
No examples in the readme?
nsomani
a day ago
There are two examples provided - quote matching and bracket closing.
Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence
16 pointsposted a day ago
by nsomani