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

2 comments

• aappleby a day ago

  No examples in the readme?

  [-]
  • nsomani a day ago

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