作者位次 #9/13NeurIPS 2026Poster
L$^2$EAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks
Po-Nien Kung · Linfeng Song · Dawsen Hwang · Jinsung Yoon · Chun-Liang Li · Simone Severini · Miroslav Olšák · Edward Lockhart · Quoc V Le · Burak Gokturk · Thang Luong · Tomas Pfister · Nanyun Peng