100元2小时不限次数电话号码,全国空降200元快餐联系方式,24小时微信快餐妹,全国同城约资源匹配系统

科学研究
学术报告
当前位置: 学院主页 > 科学研究 > 学术报告 > 正文

人工智能与定理证明

发布时间：2025-06-16 作者： 浏览次数：
Speaker: 王善文 DateTime: 2025年6月19日（周四）晚上19:00-20:00
Brief Introduction to Speaker:

王善文，副教授，中国人民大学

 Place: 国交2号楼315会议室
Abstract:在本报告中, 我们将从数学研究的主要逻辑范式来分析当前人工智能在定理证明方面的进展, 并介绍交互式定理证明助手Lean.
主站蜘蛛池模板： 且末县| 沧州市| 麦盖提县| 肇源县| 台湾省| 裕民县| 闽侯县| 错那县| 合作市| 瑞金市| 万源市| 鄯善县| 肃宁县| 高淳县| 景德镇市| 昂仁县| 甘洛县| 年辖：市辖区| 卢湾区| 泰安市| 高州市| 桃园市| 房山区| 亚东县| 虎林市| 南木林县| 尼玛县| 丰顺县| 信丰县| 瓮安县| 沾化县| 柘城县| 锡林郭勒盟| 绍兴县| 丹凤县| 郁南县| 宜兴市| 武汉市| 宁乡县| 慈利县| 平和县|