Cover Image

Neural Network Verification with PyRAT

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lemesle, Augustin, Lehmann, Julien, Gall, Tristan Le
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Passive Learning of Lattice Automata from Recurrent Neural Networks
by: Slimi, Jaouhar, et al.
Published: (2025)

COPYCOP: Ownership Verification for Graph Neural Networks
by: Nandakumar, Rahul, et al.
Published: (2026)

Statistical Properties of the King Wen Sequence: An Anti-Habituation Structure That Does Not Improve Neural Network Training
by: Chan, Augustin
Published: (2026)

Randomized Advantage Transformation (RAT): Computing Natural Policy Gradients via Direct Backpropagation
by: Sun, Mingfei
Published: (2026)

Neural Network Verification with Branch-and-Bound for General Nonlinearities
by: Shi, Zhouxing, et al.
Published: (2024)

Improving Line Search Methods for Large Scale Neural Network Training
by: Kenneweg, Philip, et al.
Published: (2024)

DeepCDCL: An CDCL-based Neural Network Verification Framework
by: Liu, Zongxin, et al.
Published: (2024)

The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification
by: Papamichail, Merkouris, et al.
Published: (2026)

Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
by: Boetius, David, et al.
Published: (2024)

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
by: Sivaramakrishnan, Vignesh, et al.
Published: (2024)

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency
by: Liu, Zongxin, et al.
Published: (2024)

Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
by: Elboher, Yizhak Yisrael, et al.
Published: (2025)

Distributionally Robust Statistical Verification with Imprecise Neural Networks
by: Dutta, Souradeep, et al.
Published: (2023)

Learning Bug Context for PyTorch-to-JAX Translation with LLMs
by: Phan, Hung, et al.
Published: (2025)

RAT: Adversarial Attacks on Deep Reinforcement Agents for Targeted Behaviors
by: Bai, Fengshuo, et al.
Published: (2024)

Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification
by: Marzari, Luca, et al.
Published: (2025)

RAT-Bench: A Comprehensive Benchmark for Text Anonymization
by: Krčo, Nataša, et al.
Published: (2026)

Multi-Evidence based Fact Verification via A Confidential Graph Neural Network
by: Lan, Yuqing, et al.
Published: (2024)

The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
by: Brix, Christopher, et al.
Published: (2024)

BoxRL-NNV: Boxed Refinement of Latin Hypercube Samples for Neural Network Verification
by: Das, Sarthak
Published: (2025)

BaB-prob: Branch and Bound with Preactivation Splitting for Probabilistic Verification of Neural Networks
by: Wang, Fangji, et al.
Published: (2025)

The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
by: Kaulen, Konstantin, et al.
Published: (2025)

RAT: Boosting Misclassification Detection Ability without Extra Data
by: Yan, Ge, et al.
Published: (2025)

Exact Verification of Graph Neural Networks with Incremental Constraint Solving
by: Liu, Minghao, et al.
Published: (2025)

Verification of Bit-Flip Attacks against Quantized Neural Networks
by: Zhang, Yedi, et al.
Published: (2025)

Talking with Verifiers: Automatic Specification Generation for Neural Network Verification
by: Elboher, Yizhak Y., et al.
Published: (2026)

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression
by: Li, Jingyang, et al.
Published: (2025)

The Definitive Guide to Policy Gradients in Deep Reinforcement Learning: Theory, Algorithms and Implementations
by: Lehmann, Matthias
Published: (2024)

Neural Network Verification is a Programming Language Challenge
by: Cordeiro, Lucas C., et al.
Published: (2025)

Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees
by: Chen, Shaoru, et al.
Published: (2024)

TeleSparse: Practical Privacy-Preserving Verification of Deep Neural Networks
by: Maheri, Mohammad M, et al.
Published: (2025)

RAT: Retrieval-Augmented Transformer for Click-Through Rate Prediction
by: Li, Yushen, et al.
Published: (2024)

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration
by: Le, Tuan, et al.
Published: (2025)

E-Globe: Scalable $ε$-Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware Branching
by: Li, Wenting, et al.
Published: (2026)

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles
by: Parameshwaran, Aditya, et al.
Published: (2025)

First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)
by: Brix, Christopher, et al.
Published: (2023)

Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance
by: Ducoffe, Mélanie, et al.
Published: (2024)

Monte Carlo Permutation Search
by: Cazenave, Tristan
Published: (2025)

Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification
by: Sayed, Abdelrahman Sayed, et al.
Published: (2025)

torchtune: PyTorch native post-training library
by: Obozov, Mark, et al.
Published: (2026)