Avigad, Jeremy

2 publications

JAIR 2025 Certified Knowledge Compilation with Application to Formally Verified Model Counting Randal E. Bryant, Wojciech Nawrocki, Jeremy Avigad, Marijn J. H. Heule

ICLR 2025 ImProver: Agent-Based Automated Proof Optimization Riyaz Ahuja, Jeremy Avigad, Prasad Tetali, Sean Welleck