@misc{indiciaedccc52ad579d,
  title = {LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks},
  author = {Po-Nien Kung and Linfeng Song and Dawsen Hwang and Jinsung Yoon and Chun-Liang Li and Simone Severini and Mirek Olšák and Edward Lockhart and Quoc V Le and Burak Gokturk and Thang Luong and Tomas Pfister and Nanyun Peng},
  year = {2026},
  url = {https://arxiv.org/abs/2606.03303},
  note = {Source identifier: 2606.03303}
}