Formal Methods

Learning Biomolecular Models using Signal Temporal Logic L4DC 2025 Learning Temporal Logic Predicates from Data with Statistical Guarantees L4DC 2025 LegalReasoner: Step-wised Verification-Correction for Legal Judgment Reasoning ACL 2025 LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models ACL 2025 LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning ACL 2025 LTLf Synthesis Under Unreliable Input AAAI 2025 Measuring In-Context Computation Complexity via Hidden State Prediction ICML 2025 MeshTest: End-to-End Testing for Service Mesh Traffic Management NSDI 2025 Multi-Cost-Bounded Reachability Analysis of POMDPs UAI 2025 Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers L4DC 2025 Neuro-Symbolic Query Compiler ACL 2025 New Compilation Languages Based on Restricted Weak Decomposability AAAI 2025 On Action Theories with Iterable First-Order Progression AAAI 2025 On Temporal Verification of Stateful P4 Programs NSDI 2025 Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees UAI 2025 Proof Simulation via Round-based Strategy Extraction for QBF AAAI 2025 Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization AAAI 2025 Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence AAAI 2025 Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification ACL 2025 Shield Synthesis for LTL Modulo Theories AAAI 2025 Smart Casual Verification of the Confidential Consortium Framework NSDI 2025 Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025 Spectra of Cardinality Queries over Description Logic Knowledge Bases AAAI 2025 STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems L4DC 2025 TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching ICML 2025