Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalencegithub.com
16 points by nsomani 5 days ago | 2 comments