Poster · Sydney
L²EAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks
- When
- Tue 8 Dec 2026, 10:00–13:00 AEDT
- Where
- Hall 1-4, ICC Sydney
Exhibition Centre, Level 1 - Session
- Sydney Poster Session 1
- Authors
- 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 and 1 more
- Organisations
- University of California, Los Angeles, Google, University College London, Charles University in Prague, Google DeepMind
- QRS classification
- Agentic AI, Language models