Formal Math Frontiers: From Implementation to AI Assistance
Published in Formal Math Frontiers: From Implementation to AI Assistance, 2026
Attended the event hosted by Beijing International Center for Mathematical Research (BICMR), Peking University.