ML Anthology

Clune, Joshua

1 publications

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