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

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving EMNLP 2025
Shield Synthesis for LTL Modulo Theories AAAI 2025
PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection OSDI 2025
Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification ACL 2025
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency AAAI 2025
NL2Lean: Translating Natural Language into Lean 4 through Multi-Aspect Reinforcement Learning EMNLP 2025
Verifying Quantized Graph Neural Networks is PSPACE-complete IJCAI 2025
Learning Verified Safe Neural Network Controllers for Multi-Agent Path Finding AAAI 2025
Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates IJCAI 2025
Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools NAACL 2025
Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling AAAI 2025
Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone CVPR 2025
Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification CVPR 2025
VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM EMNLP 2025
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization AAAI 2025
Probabilistic Explanations for Linear Models AAAI 2025
First-Order Automata AAAI 2025
Neural Continuous-Time Supermartingale Certificates AAAI 2025
Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements AAAI 2025
Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives AAAI 2025
Formally Verified Approximate Policy Iteration AAAI 2025
Probabilistic Shielding for Safe Reinforcement Learning AAAI 2025
Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network AAAI 2025
Neuron Similarity-Based Neural Network Verification via Abstraction and Refinement IJCAI 2025
SMLE: Safe Machine Learning via Embedded Overapproximation AAAI 2025