实体
SMT solver
SMT solver
PulseAugur coverage of SMT solver — every cluster mentioning SMT solver across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
神经符号AI审计医疗设备软件需求安全性
研究人员开发了VERIMED，这是一个新颖的流程，它结合了大型语言模型和SMT求解器来审计自然语言软件需求，特别是用于医疗设备等安全关键应用。这种神经符号方法将需求转化为形式逻辑，通过形式化的变化识别歧义，并使用求解器查询检测不一致或安全违规。在开源医疗设备需求上的实验表明，VERIMED能有效减少歧义，并显著提高已验证规范的准确性。
-
LLMs and behavior trees enhance AI agent task completion with reward shaping
研究人员开发了一种名为掩码奖励行为树（MRBT）的新方法，以提高自主代理在复杂、多步骤任务中的学习效率。MRBT 利用大型语言模型（LLMs）自动生成奖励塑造和动作掩码函数，这对于强化学习至关重要。该方法通过提高对子任务失败的响应能力和针对不同任务对象的模块化能力，解决了现有方法的局限性，从而提高了训练效率和成功率。