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

(github.com)

16 points | by nsomani 2 days ago ago

2 comments

  • aappleby 2 days ago ago

    No examples in the readme?

    [-]
    • nsomani a day ago ago

      There are two examples provided - quote matching and bracket closing.