TY  - RPRT
TI  - Formal Mathematical Reasoning: A New Frontier in AI
AU  - Kaiyu Yang
AU  - Gabriel Poesia
AU  - Jingxuan He
AU  - Wenda Li
AU  - Kristin Lauter
AU  - Swarat Chaudhuri
AU  - Dawn Song
PY  - 2024
UR  - https://arxiv.org/abs/2412.16075
ID  - 2412.16075
ER  -