AI For Math: 基于强化学习的Buchberger算法改进|周五直播·人工智能与数学读书会
导语
分享内容简介
分享内容简介
本次分享将介绍Buchberger算法的基本概念,基于签名的Grobner基算法的改进和基于强化学习Buchberger算法的改进。
分享内容大纲
分享内容大纲
Buchberger算法简介:
-
多项式环的基本概念
-
除法算法与Grobner基
-
Buchberger算法
基于签名的Grobner基算法的改进
主要涉及到的知识概念
主要涉及到的知识概念
交换环论
Grobner基
Buchberger算法
主讲人介绍
主讲人介绍
主要涉及到的参考文献
主要涉及到的参考文献
D Peifer,M Stillman, D Halpern-Leistner,Learning selection strategies in Buchberger’s algorithm.ICML’20: Proceedings of the 37th International Conference on Machine LearningJuly 2020Article No.: 702Pages 7575–7585,https://arxiv.org/abs/2005.01917
本次分享与读书会主题之间的关系
本次分享与读书会主题之间的关系
直播信息
直播信息
人工智能与数学读书会启动
人工智能与数学读书会主要围绕AI for math,math for AI两个方面深入探讨人工智能与数学的密切联系。首先,我们将概述人工智能在数学的应用,并深入探讨大模型与数学推理,定理自动证明, AI发现数学规律,符号计算等方向的研究工作。随后,我们将转向大模型与神经网络的数学基础。最后,我们将深入探讨几何与拓扑在机器学习的应用。人工智能与数学读书会自2023年9月15日开始,每周五晚上20:00-22:00举办,持续时间预计 8 周。欢迎对本话题感兴趣的朋友报名参加!
详情请见:
人工智能与数学读书会启动:AI for Math,Math for AI