ML Anthology
Authors
Search
About
Tetali, Prasad
1 publications
ICLR
2025
ImProver: Agent-Based Automated Proof Optimization
Riyaz Ahuja
,
Jeremy Avigad
,
Prasad Tetali
,
Sean Welleck