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.