ImProver: Agent-Based Automated Proof Optimization - Ahuja, Riyaz; Avigad, Jeremy; Tetali, Prasad; Welleck, Sean (International Conference on Learning Representations, 2025)