Formal Methods

Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract) IJCAI 2024 Structured d-DNNF Is Not Closed under Negation IJCAI 2024 Submodel Enumeration for CTL Is Hard AAAI 2024 Symbolic Reasoning Methods for AI Planning AAAI 2024 The Expressive Capacity of State Space Models: A Formal Language Perspective NeurIPS 2024 Towards Robust Saliency Maps ACML 2024 Using Dynamically Layered Definite Releases for Verifying the RefFS File System OSDI 2024 Using Symmetries to Lift Satisfiability Checking AAAI 2024 Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving EMNLP 2024 VeriSMo: A Verified Security Module for Confidential VMs OSDI 2024 Abstract Argumentation Framework with Conditional Preferences AAAI 2023 A Logic for Expressing Log-Precision Transformers NeurIPS 2023 Automated Verification of Social Laws in Numeric Settings AAAI 2023 Automatically Verifying Expressive Epistemic Properties of Programs AAAI 2023 Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning IJCAI 2023 Bipolar Abstract Dialectical Frameworks Are Covered by Kleene’s Three-valued Logic IJCAI 2023 Can Large Language Models Reason about Program Invariants? ICML 2023 Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract). IJCAI 2023 Comparing Causal Frameworks: Potential Outcomes, Structural Models, Graphs, and Abstractions NeurIPS 2023 Complexity of Reasoning with Cardinality Minimality Conditions AAAI 2023 Conditional Syntax Splitting for Non-monotonic Inference Operators AAAI 2023 Counting and Sampling Models in First-Order Logic IJCAI 2023 Description Logics with Pointwise Circumscription IJCAI 2023 Dividing and Conquering a BlackBox to a Mixture of Interpretable Models: Route, Interpret, Repeat ICML 2023 Efficient Embeddings of Logical Variables for Query Answering over Incomplete Knowledge Graphs AAAI 2023