学术

教育背景

数学与应用数学专业学士，河北工业大学，2025年

学术活动

“AI for Mathematics：数学形式化和定理证明”，北京国际数学研究中心，2024年1月
国际基础科学大会“科学家面对面”论坛，北京雁栖湖应用数学研究院，2023年7月