TY  - RPRT
TI  - ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations
AU  - Alex Gu
AU  - Bartosz Piotrowski
AU  - Fabian Gloeckle
AU  - Kaiyu Yang
AU  - Aram H. Markosyan
PY  - 2025
UR  - https://arxiv.org/abs/2510.15700
ID  - 2510.15700
ER  -