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

Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone CVPR 2025
First-Order Automata AAAI 2025
Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs IJCAI 2025
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization AAAI 2025
From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs ACL 2025
Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels AAAI 2025
Learning Verified Safe Neural Network Controllers for Multi-Agent Path Finding AAAI 2025
Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions IJCAI 2025
Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations ACL 2025
Smart Casual Verification of the Confidential Consortium Framework NSDI 2025
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency AAAI 2025
Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving EMNLP 2025
Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols OSDI 2025
A Logical Analysis of Hanabi AAAI 2025
SMLE: Safe Machine Learning via Embedded Overapproximation AAAI 2025
A Modal Logic of Optimality (Student Abstract) AAAI 2025
Shield Synthesis for LTL Modulo Theories AAAI 2025
On Temporal Verification of Stateful P4 Programs NSDI 2025
Automated Strategy Invention for Confluence of Term Rewrite Systems IJCAI 2025
Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network AAAI 2025
Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving EMNLP 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving NIPS 2024
Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing AAAI 2024
Towards Efficient Verification of Quantized Neural Networks AAAI 2024
Robustness Verification of Multi-Class Tree Ensembles AAAI 2024