formal verification

Shield Synthesis for LTL Modulo Theories AAAI 2025 Smart Casual Verification of the Confidential Consortium Framework NSDI 2025 SMLE: Safe Machine Learning via Embedded Overapproximation AAAI 2025 STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving ICML 2025 Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone CVPR 2025 Token-Supervised Value Models for Enhancing Mathematical Problem-Solving Capabilities of Large Language Models ICLR 2025 Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving EMNLP 2025 Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios AAAI 2025 Training Verification-Friendly Neural Networks via Neuron Behavior Consistency AAAI 2025 Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning ICLR 2025 Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels AAAI 2025 Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization ICLR 2025 Verifying Quantized Graph Neural Networks is PSPACE-complete IJCAI 2025 VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM EMNLP 2025 Abstraction of Situation Calculus Concurrent Game Structures AAAI 2024 Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing AAAI 2024 Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories AAAI 2024 Anvil: Verifying Liveness of Cluster Management Controllers OSDI 2024 A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs AAAI 2024 AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties NeurIPS 2024 A Survey of Robotic Language Grounding: Tradeoffs between Symbols and Embeddings IJCAI 2024 Benchmarking Automated Theorem Proving with Large Language Models EMNLP 2024 Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties IJCAI 2024 Compact Proofs of Model Performance via Mechanistic Interpretability NeurIPS 2024 Critically Assessing the State of the Art in Neural Network Verification JMLR 2024