TY  - RPRT
TI  - LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks
AU  - Po-Nien Kung
AU  - Linfeng Song
AU  - Dawsen Hwang
AU  - Jinsung Yoon
AU  - Chun-Liang Li
AU  - Simone Severini
AU  - Mirek Olšák
AU  - Edward Lockhart
AU  - Quoc V Le
AU  - Burak Gokturk
AU  - Thang Luong
AU  - Tomas Pfister
AU  - Nanyun Peng
PY  - 2026
UR  - https://arxiv.org/abs/2606.03303
ID  - 2606.03303
ER  -