@misc{indiciaef21cd3bfe3d4,
  title = {CuDIP: Enhancing Theorem Proving in LLMs via Curriculum Learning-based Direct Preference Optimization},
  author = {Shuming Shi and Ruobing Zuo and Gaolei He and Jianlin Wang and Chenyang Xu and Zhengfeng Yang},
  year = {2025},
  url = {https://arxiv.org/abs/2502.18532},
  note = {Source identifier: 2502.18532}
}