1
ImProver: Agent-Based Automated Proof Optimization
基于智能体的自动证明优化框架，提升数学证明的简洁性与可读性，ICLR 2025 顶会论文。
arXiv:2410.04753v2 Announce Type: replace-cross Abstract: Large language models (LLMs) have been used to generate formal proofs of mathematical theore…