Formal Methods

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation AAAI 2025 Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases AAAI 2025 A Sequent Calculus for Answer Set Entailment IJCAI 2025 A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation IJCAI 2025 Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions EMNLP 2025 A Variable Occurrence-Centric Framework for Inconsistency Handling AAAI 2025 Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols OSDI 2025 Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference ACL 2025 Certifying Bounds Propagation for Integer Multiplication Constraints AAAI 2025 Complete Symmetry Breaking for Finite Models AAAI 2025 Computationally Hard Problems Are Hard for QBF Proof Systems Too AAAI 2025 Constraint-based causal discovery with tiered background knowledge and latent variables in single or overlapping datasets CLeaR 2025 Contractions Based on Optimal Repairs (Extended Abstract) IJCAI 2025 Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems L4DC 2025 Decomposing Inconsistencies: Marginal Contributions and Pooling Techniques IJCAI 2025 Entailment-Preserving First-order Logic Representations in Natural Language Entailment ACL 2025 Featured Argumentation Framework: Semantics and Complexity IJCAI 2025 First-Order Automata AAAI 2025 First-Order Coalition Logic IJCAI 2025 Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network AAAI 2025 From Feedback to Checklists: Grounded Evaluation of AI-Generated Clinical Notes EMNLP 2025 From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs ACL 2025 Generalized Safe Conditional Syntax Splitting of Belief Bases IJCAI 2025 Grammar-Constrained Decoding Makes Large Language Models Better Logical Parsers ACL 2025 Initial Models and Serialisability in Abstract Dialectical Frameworks IJCAI 2025