杨争峰，华东师范大学软件工程学院教授，2006年获中国科学院数学与系统科学研究院博士学位，主要研究方向为数学机械化、人工智能数学、混成系统验证及符号计算 。在CAV、FM、ISSAC、NeurIPS、EMSOFT等国际会议及ACM TECS、IEEE TCAD等期刊发表论文80余篇 。
主持国家重点研发计划“数学和应用研究”专项课题、国防科工委创新项目、国家自然科学基金等科研课题。提出结合大语言模型与强化学习的定理自动生成方法，构建LeanComb形式化数据集及定理自动证明器，在组合恒等式验证准确率上优于现有工具 。其团队提出的学习型非线性约束求解方法被EMSOFT 2024收录并获最佳论文提名 。
想要了解更多“杨争峰”的信息，请点击：杨争峰百科
