- 软件所提出基于胞腔复形的自监督拓扑深度学习新方法 2025-07-03
- 软件所提出面向信息物理融合系统的扩展AADL建模和分析方法 2025-07-03
- 软件所文件缓存系统崩溃一致性保障工作荣获ACM SIGMETRICS 2025最佳学生论文奖 2025-06-30
- 软件所在数据库系统质量保障方面取得系列进展 2025-06-04
- 软件所天基综合信息系统全国重点实验室多篇论文被ICML 2025录用 2025-05-28
- 软件所提出小批量数据采样策略 提升自监督学习分布外泛化能力 2025-05-23
- 软件所提出流式机器学习新框架实现动态数据高效分析 2025-04-29
- 国家重点研发计划“高风险领域生成式人工智能系统内容安全检测技术与标准研究”项目启动会在软件所召开 2025-04-25
- 软件所提出智能合约漏洞检测新模型 2025-04-15
- 软件所DBCopilot框架实现海量数据库智能查询 2025-04-11
- 软件所发布新型电路SAT求解器 2025-03-04
- 软件所提出面向开源人工智能框架的漏洞检测方法 2025-01-29
- 软件所提出解释个体智能体重要性的新方法 2025-01-09
- 软件所提出基于模型融合的异构图表示学习方法 2025-01-09
- 软件所在工信部电力国产求解器技术专题赛获奖 2024-12-31
- “如意BOOK甲辰版”笔记本入选工信部先进计算赋能新质生产力典型应用案例 2024-12-23
- 软件所提出基于演化博弈论的自监督学习性能平衡方法 2024-12-13
- 软件所研发求解器rIC3获国际硬件模型检测竞赛冠军 2024-12-09
- 软件所参与研发的医学大模型“Med-Go”正式发布 2024-12-03
- 软件所受邀参加智能航天卫星大脑星上验证进展研讨会 2024-11-28
