Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence
Hi HN, I've been exploring various applications of formal methods to ML/interpretability and I've been hoping to get more eyes on the approach. I have been working on a small interpretability project ...