@inproceedings{sheng2025solving,
  title={Solving Inequality Proofs with Large Language Models},
  author={Sheng, Jiayi and Lyu, Luna and Jin, Jikai and Xia, Tony and Gu, Alex and Zou, James and Lu, Pan},
  booktitle={The 38th Conference on Neural Information Processing Systems (NeurIPS)},
  year={2025}
}