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

2 comments

• $aappleby 2 days ago

  No examples in the readme?

  [-]
  • $nsomani a day ago

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