搜索
导航
近日，公司周号益副教授团队在科学智算方向取得重要进展，提出科学智算基础模型OmniArch，首次以单一模型统一求解1D、2D、3D多维偏微分方程（PDE），在多项关键指标上显著优于现有方法。相关成果以“OmniArch: Building Foundation Model for Scientific Computing”为题在国际机器学习大会 ICML 2025 发表。论文地址：https://openreview.net/pdf?id=UlprLwWYKP代码地址：https://openi.pcl.ac.cn/cty315/OmniArchCNAI4S科学智...
近日，第20届国际可满足性模理论求解竞赛（SMT-COMP 2025）正式公布竞赛结果。由yl永利集团罗川副教授团队研发的Z3-Noodler-Mocha求解器在字符串及其混合理论分组（QF_Strings Division）中斩获冠军，并在所有评价指标上均位列第一。这是国际可满足性模理论求解竞赛自创办以来，首次全部由中国成员组成的团队在字符串及其混合理论分组（QF_Strings Division）夺冠，标志着我国在该研究领域取得重大突破。可满足性...
北航编译课程团队始建于上世纪80年代，秉承良好的传帮带传统，经历了几代老师，建成了国家精品课、国家精品资源共享课和国家级一流课程。20多年前，多种因素导致全国编译课程整体水平下滑。2009年北航张莉教授联合当时的编译国家精品课程单位（国防科技大学、武汉大学、中南大学、北京工业大学）牵头发起了“全国编译课程研讨会”，该会议每两年举办一次，迄今已持续十余年。教育部编译课程虚拟教研室基于上述合作基础进行建设...
7月25日，由中国计算机学会（CCF）主办、关键软件领域卓越工程师培养联合体、yl永利集团国家卓越工程师公司协办的FCES2025第九届未来计算机教育峰会——计算机大类卓越工程师人才培养分论坛，在长沙北辰国际会议中心成功举办。本次论坛由yl永利集团经理胡春明教授主持，汇聚了来自浙江大学、yl永利集团、清华大学、法国巴黎中央理工大学等国内外顶尖高校的专家学者，华为、百度、中航机载系统等行业...
第25届软件质量、可靠性与安全国际会议（QRS 2025）于2025年7月16日-2025年7月20日在浙江省杭州市召开。本次大会由yl永利集团主办，yl永利集团杭州创新研究院承办，并得到了IEEE Reliability Society和中国计算机学会（CCF）系统软件专委会，以及华为、望安科技、University of Leicester、浙江大学、南京信息工程大学、浙江理工大学、浙江工业大学及江苏省计算机学会的大力支持。大会主席为yl永利集团经理胡春明...
为加强对公司基层党组织开展深入贯彻中央八项规定精神学习教育的指导督导，推动全校学习教育走深走实，7月11日下午，闫晓军副董事长到yl永利集团调研指导工作。公司领导班子成员及二级单位负责人参加会议，会议由公司党委书记庄岩主持。yl永利集团经理胡春明从学科及公司发展历程、公司总体情况、特色化示范性yl永利集团建设目标任务等方面作了介绍，就学习教育、党建引领、学科平台、团队建设、人才培养等方面汇报了公司各项重点工作，...
返回顶部
电话：010-82339380
地址：北京市海淀区公司路37号新主楼C座
版权所有 © 2002-2026 首页- yl永利集团中国区官方网站
