实体
Isabelle
Isabelle
PulseAugur coverage of Isabelle — every cluster mentioning Isabelle across labs, papers, and developer communities, ranked by signal.
总计 · 30天
3
90 天内 3
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
2 天有情绪数据
最近 · 第 1/1 页 · 共 3 条
-
LLM模组通过动态NPC和涌现式叙事彻底改变RPG
开源大型语言模型（LLM）正在显著提升角色扮演游戏（RPG）的体验，尤其是在支持广泛模组的游戏（如Skyrim）中。CHIM和SkyrimNet等模组利用LLM来创建动态且上下文感知的非玩家角色（NPC），从而实现涌现式叙事和个性化任务线。这使得玩家能够参与更深层次的角色扮演场景，超越预设内容和静态NPC交互的限制。
-
AI工具IsabeLLM已增强，可用于共识协议的正式验证
研究人员通过集成检索增强生成框架，增强了IsabeLLM（一种用于自动定理证明的AI工具）。此次升级包括错误跟踪和反例生成，为大型语言模型提供更好的上下文。更新后的IsabeLLM现已兼容最新版本的Isabelle和Sledgehammer，旨在提高效率。该论文比较了原始和增强版IsabeLLM在验证比特币工作量证明共识协议方面的性能。
-
神经符号AI框架自动化软件验证证明
研究人员开发了一种新颖的神经符号框架，以自动化系统软件验证的证明生成。该方法结合了大型语言模型（LLM）和交互式定理证明（ITP）工具，以更有效地导航证明状态。通过在证明数据上微调LLM，并集成符号ITP工具进行步骤修复和子目标求解，该系统显著增强了证明自动化。