Formal Mathematical Reasoning: A New Frontier in AI. - Kaiyu Yang; Gabriel Poesia; Jingxuan He; Wenda Li; Kristin Lauter; Swarat Chaudhuri; Dawn Song (CoRR, 2024)