@misc{indiciae31b69df5e6ac,
  title = {ImProver: Agent-Based Automated Proof Optimization},
  author = {Riyaz Ahuja and Jeremy Avigad and Prasad Tetali and Sean Welleck},
  year = {2026},
  url = {https://arxiv.org/abs/2410.04753},
  note = {Source identifier: 2410.04753}
}