smt solvers | BriefGPT - AI 论文速递

关键词smt solvers

搜索结果 - 10

NL2FOL：将自然语言翻译为一阶逻辑，用于检测逻辑谬误
通过将自然语言逐步翻译成一阶逻辑，利用满足性模块理论求解器来可靠地检测逻辑谬误，并将输入分类为谬误或有效陈述，这种方法不需要训练数据或微调，并且在数据集上表现良好。
PDF3 months ago
分层分阶蒙特卡洛树搜索用于 SMT 策略合成
通过采用基于蒙特卡罗树搜索（MCTS）的新方法，我们解决了自动 SMT 策略合成的问题，使得 Z3alpha 相比于状态 - of-the-art 的 SMT 解析工具 FastSMT，Z3 解析器和 CVC5 解析器，在大多数基准测试中都
PDF5 months ago
一个支持代数数据类型的积极满足性理论求解器
将代数数据类型的查询转换为简化的逻辑理论，并在简化的查询上使用现有求解器，通过证明方法的完备性和准确性，展示了它在现有和规划领域的基准测试中胜过现有技术的性能。
PDF9 months ago
自动化法律中的可退后推理
研究纠纷推理在基于规则的系统中的应用，提供了两种推理方法并将规则转换为公式。
PDF2 years ago
基于 SMT 求解器的神经网络等价性检查
本研究通过首次基于 SMT 的编码探讨了神经网络等效性检查的实用性和限制，并提出了未来研究和改进的思路。
PDF2 years ago
Manyopt：基于 SMT 求解的混合、非线性优化可扩展工具
本文介绍了一个名为 ManyOpt 的工具，用于 Mixed-Integer Non-Linear Programming（MINLP）优化并基于可满足性求解器（SMT solver）的可行性检查方法。该工具具有层次结构，支持多种 SMT
PDF7 years ago
利用 SMT 求解证明效率和策略无关的矛盾性
本文提供了一个计算机辅助证明，指出每个有效的聚合机制都可以针对代理人的偏好进行操作，这解决了一个悬而未决的问题并加强了现有定理的几个声明，并首次将 SMT 解算器应用于计算社会选择。
PDF8 years ago
AAAI通过字级计数进行概率近似推断
该研究提出了一种基于单词级哈希函数的模型计数方法，可以直接利用复杂的 SMT 求解器，为概率推理中的计数问题提供了新思路。
PDF9 years ago
MMASPMT (QS): 带理论的答案集编程对非单调空间推理的应用
ASPMT (QS) 是一种基于 ASPMT 的新方法和完全实现的原型，用于非单调空间推理，可以处理间接空间效应，以及在非单调空间推理上集成几何和定性空间信息。
PDF9 years ago
SAT 模块化单调理论
本研究提出了单调理论的概念，并展示了如何为这样的理论构建有效的 SMT（SAT 模块理论）求解器，包括有效的理论传播和子句学习。我们应用这些求解器解决过程内容生成问题，与基于 SAT 或 Answer Set Programming 的最先
PDF10 years ago