Formal mathematical reasoning: A new frontier in AI. ~ Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin Lauter, Swarat Chaudhuri, Dawn Song. https://arxiv.org/abs/2412.16075 #AI #Math #Reasoning #ITP #Coq #IsabelleHOL #LeanProver #Autoformalization