报告题目:探索基于学习的数学优化算法与理论
报告时间:2024-11-27 18:30-20:55
报 告 人 :文再文 教授 (北京大学)
报告地点:1区理-104教室
Abstract:本报告将探讨数据、模型、算法和理论在数学优化领域融合的新模式。首先讨论大模型辅助建模与求解,针对问题结构和场景进行自适应建模、结构提取和问题求解。接着探讨人工智能驱动的优化算法,包括求解二元整数规划的蒙多卡洛策略优化算法,基于常微分方程的学习优化方法,大模型微调的零阶优化算法等等。最后讨论通过数学优化形式化建立知识库推动自动定理证明的构想。