Tetali, Prasad

1 publications

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