LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks 文章

ArXiv CS.AI2026-06-03NEWSen作者: Po-Nien Kung, Linfeng Song, Dawsen Hwang, Jinsung Yoon, Chun-Liang Li, Simone Severini, Mirek Ol\v{s}\'ak, Edward Lockhart, Quoc V Le, Burak Gokturk, Thang Luong, Tomas Pfister, Nanyun Peng