• 【08-08】市政环卫服务机器人研发与产业运营实践 2025-08-08
• 【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