 STEM-POM: Evaluating Language Models Math-Symbol Reasoning in Document ParsingAnnual Meeting of the Association for Computational Linguistics (ACL), 2024 |
 LeanDojo: Theorem Proving with Retrieval-Augmented Language ModelsNeural Information Processing Systems (NeurIPS), 2023 |
 A Survey of Deep Learning for Mathematical ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL), 2022 |
