aappleby
a month ago
No examples in the readme?
nsomani
a month 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 month ago
by nsomani