实体
Kerbal Space Program
Kerbal Space Program
PulseAugur coverage of Kerbal Space Program — every cluster mentioning Kerbal Space Program across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天
2 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
AI模型 GPT-5.6 Sol 和 Kimi K3 在《坎巴拉太空计划》直播速通比赛中竞争
两个先进的AI模型 GPT-5.6 Sol 和 Kimi K3 正在参加一场直播速通挑战赛，目标是从零开始建造一艘《坎巴拉太空计划》的飞船。此次活动正在进行直播，展示了这些前沿AI模型在复杂、实时任务中的能力。
-
新的CEGAR表方法整合了SAT、表和分辨率，用于模态可满足性
研究人员开发了一种将CEGAR表扩展到SAT捷径的新方法，整合了SAT、表和分辨率方法，用于模态可满足性。通过他们的C++实现CEGARBox++进行的实验表明，使用模态分辨率定理证明器KSP作为SAT捷径的Oracle，其性能显著优于单独使用CEGARBox++或单独使用KSP，尤其是在大型可满足问题上。这种整合被认为是首次有效地结合了这些方法以提高性能。