Avigad, Jeremy

3 publications

ICLR 2026 Premise Selection for a Lean Hammer Thomas Zhu, Joshua Clune, Jeremy Avigad, Albert Q. Jiang, Sean Welleck

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