conftrace_

formal verification

284 papers

Explore in graph

Also known as

FV

Co-occurring keywords

neural network verification (106) adversarial robustness (1341) model checking (105) neural network (6616) temporal logic (105) theorem proving (63) large language model (13587) linear temporal logic (82) multi-agent system (1819) automated reasoning (122)

Papers

Robustness Verification of Multi-Class Tree Ensembles AAAI 2024
DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction AAAI 2024
NN4SysBench: Characterizing Neural Network Verification for Computer Systems NIPS 2024
A Survey of Robotic Language Grounding: Tradeoffs between Symbols and Embeddings IJCAI 2024
Neural Closure Certificates AAAI 2024
Compact Proofs of Model Performance via Mechanistic Interpretability NIPS 2024
Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning NIPS 2024
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes NIPS 2024
AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties NIPS 2024
A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs AAAI 2024
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs OSDI 2024
Benchmarking Automated Theorem Proving with Large Language Models EMNLP 2024
TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts EMNLP 2024
Neural Model Checking NIPS 2024
Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories AAAI 2024
Abstraction of Situation Calculus Concurrent Game Structures AAAI 2024
Decompositions in Compositional Translation of LTLf to DFA (Student Abstract) AAAI 2024
Selene: Pioneering Automated Proof in Software Verification ACL 2024
Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation AISTATS 2024
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata AAAI 2024
Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification AAAI 2024
Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions AAAI 2024
Anvil: Verifying Liveness of Cluster Management Controllers OSDI 2024
Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges AAAI 2024
VeriSMo: A Verified Security Module for Confidential VMs OSDI 2024