时间：2025年3月31日（星期一）14:00

地点：电子楼105

主题：人工智能在数学定理证明中的进展与挑战

主讲嘉宾：北京通用人工智能研究院研究员 王威

主办单位：京师范大学人工智能学院

主持人： 人工智能学院副教授 钟方威

主讲人简介：

王威，北京通用人工智能研究院研究员，认知与推理实验室主任，中国图象图形学学会类脑视觉专委会秘书长。2005年获武汉大学自动化专业学士学位，2011年获中国科学院大学计算机应用技术博士学位，同年加入中国科学院自动化研究所模式识别国家重点实验室，2015年评为中国科学院自动化研究所模式识别国家重点实验室副研究员，2021年全职加入北京通用人工智能研究院，担任认知与推理实验室主任。主要从事认知推理与计算机视觉研究，成果授权专利12项，主持3项国家自然科学基金项目，并与多个企业开展项目合作。

报名二维码

进群二维码