formal verification

Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools NAACL 2025 Learning Probabilistic Temporal Logic Specifications for Stochastic Systems IJCAI 2025 Learning Verified Safe Neural Network Controllers for Multi-Agent Path Finding AAAI 2025 LTLf Synthesis Under Unreliable Input AAAI 2025 NatSTV: Towards Verification of Natural Strategic Ability IJCAI 2025 Neural Continuous-Time Supermartingale Certificates AAAI 2025 Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems L4DC 2025 Neuron Similarity-Based Neural Network Verification via Abstraction and Refinement IJCAI 2025 Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification CVPR 2025 NL2Lean: Translating Natural Language into Lean 4 through Multi-Aspect Reinforcement Learning EMNLP 2025 On Temporal Verification of Stateful P4 Programs NSDI 2025 On the Limit of Language Models as Planning Formalizers ACL 2025 Position: Formal Mathematical Reasoning—A New Frontier in AI ICML 2025 PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection OSDI 2025 PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks JMLR 2025 Probabilistic Explanations for Linear Models AAAI 2025 Probabilistic Shielding for Safe Reinforcement Learning AAAI 2025 Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees UAI 2025 Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization AAAI 2025 Rethinking and Improving Autoformalization: Towards a Faithful Metric and a Dependency Retrieval-based Approach ICLR 2025 Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives AAAI 2025 Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs IJCAI 2025 Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification ACL 2025 Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling AAAI 2025 ShieldAgent: Shielding Agents via Verifiable Safety Policy Reasoning ICML 2025