-
11
2024-11
马尽文：大语言模型在数学性能上的挑战与发展报告将分析大语言模型(LLM)所面临的数学计算、推荐和大模型专业化发展所面临的问题和挑战，介绍改进的方法和策略在提升数学推理能力上，提出了基于图形形式化强化的多模... -
11
2024-11
张树义：高性能集群的搭建、开发与管理张树义，高级工程师，北京大学数学科学学院中心实验室主任，IT 办公室主任，国际信息研究学会中国分会教育信息化专业委员会秘书长，科技部、财政部、北京市信息化评审专... -
05
2024-09
张卫东：智能绿色 引领未来--船海领域国际热点研究方向海洋蕴藏着丰富的石油、渔业和矿产资源，是远未充分开发的资源宝库、世界经济竞争的重要领域。因此国家在新世纪制定了建设海洋强国的宏伟目标。开发深海资源与发展海洋... -
04
2024-07
李泽超：面向多模态预训练模型的知识增强近年来，在探索通用人工智能的可能发展方向中，多模态大模型已成为当前备受关注的重要方向，受到了学术界和工业界的广泛关注。多模态大模型的研究任务涵盖多模态问答和... -
13
2024-06
孙猛：深度学习系统的可信性保障报告将对深度学习系统的安全性、鲁葬性保障相关问题以及近期关于深度神经网络的语义鲁棒性验证和估计的部分工作结果进行介绍。报告将介绍语义扰动和局部鲁排性的形式化... -
10
2024-05
CCHC 2024: 大数据智能处理与安全应用论坛黄河雄伟，九曲奔流；大河上下，踔厉奋发；黄帝故里，天下之中；时逢佳月，群贤聚郑。第二届CCF黄河论坛（CHHC2024）将由CCF郑州分部联合多个黄河流域CCF分部共同举办。... -
28
2024-04
张玉良：AI赋能，培育养猪新质生产力报告通过介绍牧原食品股份有限公司智能化发展历程，以实际的案例展示了图像识别、声音识别、智能免疫、智能屠宰、智能问答等人工智能技术在科学养猪各个环节中的应用。... -
20
2024-04
汤庸:以学者为中心的学术社交网络研究与实践社交网络已改变人们的生活和工作方式。但是社交网络是一把双刃剑，一方面为人们交流提供了方便，另一个方面也会因无关信息干扰生活和工作。学者交流要求较高的可信性和...
