#

形式化方法

4 篇相关内容
相关话题约束编程自动推理SMT求解器组合优化自动生成SMT求解迷宫生成计算机图形学AI安全访问控制智能体系统权限管理

EZSMTV3发布：基于SMT的约束答案集编程框架迎来重大升级

研究团队推出EZSMTV3，这是一个基于可满足性模理论（SMT）的约束答案集编程（CASP）框架，通过集成先进SMT求解器提升了复杂组合问题的求解能力。
·5 天前约束编程自动推理SMT求解器组合优化
a

从图案到迷宫：SMT求解器自动生成平面与三维迷宫结构

研究人员提出一种基于可满足性模理论（SMT）的自动化流程，能够将文本或形状等输入图案转化为迷宫结构，支持平面迷宫与三维编织迷宫的生成。
·7 天前自动生成SMT求解迷宫生成形式化方法
a

AI系统权限新理论：提出“最小自主性”原则

研究者针对智能体AI系统提出“最小自主性”理论，通过形式化方法量化系统行动间的结构分离与影响传播，为复杂工作流中的权限控制提供新框架。
·7 天前AI安全访问控制智能体系统形式化方法
a

VeryTrace：通过可编译形式化与结构化验证提升推理链可靠性

研究人员提出VeryTrace框架，通过将自然语言推理过程形式化为结构化、可编译的表示，实现零样本的推理链验证与修复，有效减少逻辑错误传播。
·27 天前推理验证思维链形式化方法大语言模型
a