Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter, Swarat Chaudhuri, Dawn Song. Position: Formal Mathematical Reasoning - A New Frontier in AI. In Forty-second International Conference on Machine Learning, ICML 2025, Vancouver, BC, Canada, July 13-19, 2025 - Position Paper Track. OpenReview.net, 2025. [doi]
@inproceedings{YangPHLLCS25,
title = {Position: Formal Mathematical Reasoning - A New Frontier in AI},
author = {Kaiyu Yang and Gabriel Poesia and Jingxuan He and Wenda Li and Kristin E. Lauter and Swarat Chaudhuri and Dawn Song},
year = {2025},
url = {https://openreview.net/forum?id=HuvAM5x2xG},
researchr = {https://researchr.org/publication/YangPHLLCS25},
cites = {0},
citedby = {0},
booktitle = {Forty-second International Conference on Machine Learning, ICML 2025, Vancouver, BC, Canada, July 13-19, 2025 - Position Paper Track},
publisher = {OpenReview.net},
}