formal verification

Robustness Verification of Multi-Class Tree Ensembles AAAI 2024 Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes NeurIPS 2024 Selene: Pioneering Automated Proof in Software Verification ACL 2024 Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions AAAI 2024 Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages NeurIPS 2024 Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning NeurIPS 2024 The Logic of Doxastic Strategies AAAI 2024 TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts EMNLP 2024 Towards Efficient Verification of Quantized Neural Networks AAAI 2024 Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation CVPR 2024 Towards Large Certified Radius in Randomized Smoothing Using Quasiconcave Optimization AAAI 2024 Truth Table Net: Scalable, Compact & Verifiable Neural Networks with a Dual Convolutional Small Boolean Circuit Networks Form IJCAI 2024 Using Dynamically Layered Definite Releases for Verifying the RefFS File System OSDI 2024 Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving EMNLP 2024 Verified Safe Reinforcement Learning for Neural Network Dynamic Models NeurIPS 2024 VeriSMo: A Verified Security Module for Confidential VMs OSDI 2024 VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees ICML 2024 Abstract Argumentation Framework with Conditional Preferences AAAI 2023 Automatically Verifying Expressive Epistemic Properties of Programs AAAI 2023 Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning IJCAI 2023 Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks NeurIPS 2023 BWoS: Formally Verified Block-based Work Stealing for Parallel Processing OSDI 2023 CertiFair: A Framework for Certified Global Fairness of Neural Networks AAAI 2023 Combining Runtime Monitoring and Machine Learning with Human Feedback AAAI 2023 Complexity of Safety and coSafety Fragments of Linear Temporal Logic AAAI 2023