TY  - RPRT
TI  - ImProver: Agent-Based Automated Proof Optimization
AU  - Riyaz Ahuja
AU  - Jeremy Avigad
AU  - Prasad Tetali
AU  - Sean Welleck
PY  - 2026
UR  - https://arxiv.org/abs/2410.04753
ID  - 2410.04753
ER  -