Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification

Open Webpage

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

Published: 01 Mar 2026, Last Modified: 15 Mar 2026Communications of the ACMEveryoneRevisionsCC BY-SA 4.0
External IDs:doi:10.1145/3750038