conftrace_

satisfiability problem

16 papers

Explore in graph

Co-occurring keywords

logical reasoning (310) description logic (107) modal logic (55) formal logic (21) natural language reasoning (24) large language model (13587) graph neural network (3962) multi-agent system (1819) computational complexity (399) logical inference (53)

Papers

SATBench: Benchmarking LLMs’ Logical Reasoning via Automated Puzzle Generation from SAT Formulas EMNLP 2025
Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools NAACL 2025
Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language Models ACL 2024
Data Complexity in Expressive Description Logics with Path Expressions IJCAI 2024
A Logic for Reasoning about Aggregate-Combine Graph Neural Networks IJCAI 2024
The Hardness of Reasoning about Probabilities and Causality IJCAI 2023
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems NIPS 2022
Can Transformers Reason in Fragments of Natural Language? EMNLP 2022
A Logic of Directions IJCAI 2020
Model-Agnostic Counterfactual Explanations for Consequential Decisions AISTATS 2020
Decidability of Model Checking Multi-Agent Systems with Regular Expressions against Epistemic HS Specifications IJCAI 2019
G2SAT: Learning to Generate SAT Formulas NIPS 2019
Detection of Planted Solutions for Flat Satisfiability Problems AISTATS 2019
The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract) IJCAI 2017
Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage IJCAI 2017
Action-Model Based Multi-agent Plan Recognition NIPS 2012