- 【08-08】基于元模型生成场景自适应智能制造操作系统 2025-08-07
- 【07-25】KLSS Seminar on “How to Build AI Agent, How to Build Agen1c AI, and How to Build Automa1cally? - with the applica1ons on cybersecurity ” 2025-07-23
- 【07-16】大模型后训练之策略优化方法研究 2025-07-15
- 【06-18】人工智能前沿：通用视觉智能与世界模拟 2025-06-18
- 【06-13】面向具身智能的三维内容生成：从物体到场景的生成路径 2025-06-13
- 【06-10】老问题的新方法：人工智能与复杂系统建模和程序静态分析 2025-06-10
- 【06-09】KLSS Seminar on “Interval Impulsive Observers: A Framework for Robust Estimation with Aperiodic or Event-Triggered Sampling” 2025-06-09
- 【05-28】Deductive Safety Verification of Continuous and Cyber-Physical System:The Problem of Checking Positively Invariant Sets 2025-05-26
- 【05-21】预训练模型视觉提示学习方法研究 2025-05-21
- 【04-28】水下无人航行器自主巡航任务中的技术挑战和自主计算方法 2025-04-27
- 【04-27】From Informal to Formal–Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs 2025-04-25
- 【04-16】Certified Verification of Cryptographic Primitive Programs 2025-04-15
-
[2025-03-31]中国传统文化与人工智能的时代碰撞
2025-03-26 -
天基综合信息系统全国重点实验室2025年度鲁班论坛第3期
基于数据流的漏洞挖掘新进展 2025-03-13 -
天基综合信息系统全国重点实验室2025年度鲁班论坛第2期
大模型机理分析-- In-context learning和数据合成 2025-02-27 - [2025-02-11] MIMOS: the Asynchronous Paradigm andTools for Safety-Critical Software Design (&Updates) 2025-02-10
- [2024-01-05]一生一芯”计划——设计人生中的第一颗处理器芯片 2023-12-29
- [2024-01-04]Protect Code Datasets against Unauthorized Training Usage with Imperceptible Watermark 2023-12-29
- [12-29]AIA：AI辅助算法设计的若干尝试 2023-12-25
- [12-11] An FPRAS for two terminal reliability in directed acyclic graphs 2023-12-11
