formal verification

Data-Driven Discovery of Design Specifications (Student Abstract) AAAI 2024 Decompositions in Compositional Translation of LTLf to DFA (Student Abstract) AAAI 2024 DeepBern-Nets: Taming the Complexity of Certifying Neural Networks Using Bernstein Polynomial Activations and Precise Bound Propagation AAAI 2024 DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction AAAI 2024 Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization ICLR 2024 End-to-End Verification for Subgraph Solving AAAI 2024 Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees AAAI 2024 Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification AAAI 2024 Formalisation and Evaluation of Properties for Consequentialist Machine Ethics IJCAI 2024 Formal Verification of Parameterised Neural-symbolic Multi-agent Systems IJCAI 2024 Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation AISTATS 2024 FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving NeurIPS 2024 Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions RSS 2024 Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs OSDI 2024 Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges AAAI 2024 Lemur: Integrating Large Language Models in Automated Program Verification ICLR 2024 Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata AAAI 2024 Neural Closure Certificates AAAI 2024 Neural Model Checking NeurIPS 2024 NN4SysBench: Characterizing Neural Network Verification for Computer Systems NeurIPS 2024 Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification ICML 2024 Provably Safe Neural Network Controllers via Differential Dynamic Logic NeurIPS 2024 Proving Theorems Recursively NeurIPS 2024 Relational Verification Leaps Forward with RABBit NeurIPS 2024 Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales AAAI 2024