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