Position: Formal Mathematical Reasoning - A New Frontier in AI.

Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter, Swarat Chaudhuri, Dawn Song

Browse the full ICML paper archive.