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

2 comments

• aappleby 3 days ago

  No examples in the readme?

  [-]
  • nsomani 3 days ago

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