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

Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory IJCAI 2020
Abstract Interpretation of Decision Tree Ensemble Classifiers AAAI 2020
Graph Representations for Higher-Order Logic and Theorem Proving AAAI 2020
Lagrangian Decomposition for Neural Network Verification UAI 2020
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints IJCAI 2020
Model Checking Temporal Epistemic Logic under Bounded Recall AAAI 2020
Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants IJCAI 2019
Robustness Verification of Tree-based Models NIPS 2019
Knowing When to Stop: Evaluation and Verification of Conformity to Output-Size Specifications CVPR 2019
An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information AAAI 2019
Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees AAAI 2019
Verification of RNN-Based Neural Agent-Environment Systems AAAI 2019
Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation IJCNLP 2019
Automated Verification of Social Laws for Continuous Time Multi-Robot Systems AAAI 2019
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks IJCAI 2019
Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation EMNLP 2019
Verifying Robustness of Gradient Boosted Models AAAI 2019
A Dual Approach to Verify and Train Deep Networks IJCAI 2019
Verifiable and Interpretable Reinforcement Learning through Program Synthesis AAAI 2019
Efficient Neural Network Verification with Exactness Characterization UAI 2019
Counter-example Guided Learning of Bounds on Environment Behavior CORL 2019
PROVEN: Verifying Robustness of Neural Networks with a Probabilistic Approach ICML 2019
Abstraction based Output Range Analysis for Neural Networks NIPS 2019
Beyond the Single Neuron Convex Barrier for Neural Network Certification NIPS 2019
Certifying Geometric Robustness of Neural Networks NIPS 2019