Image de couverture de livre

Mini-Batch Robustness Verification of Deep Neural Networks

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Tzour-Shaday, Saar, Drachsler-Cohen, Dana
Format:	Preprint
Publié:	2025
Sujets:	Machine Learning Logic in Computer Science Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Boosting Few-Pixel Robustness Verification via Covering Verification Designs
par: Shapira, Yuval, et autres
Publié: (2024)

Verification of Neural Networks' Global Robustness
par: Kabaha, Anan, et autres
Publié: (2024)

Towards a Certified Proof Checker for Deep Neural Network Verification
par: Desmartin, Remi, et autres
Publié: (2023)

Neural Network Verification is a Programming Language Challenge
par: Cordeiro, Lucas C., et autres
Publié: (2025)

Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification
par: Kabaha, Anan, et autres
Publié: (2025)

Floating-Point Neural Networks Are Provably Robust Universal Approximators
par: Hwang, Geonho, et autres
Publié: (2025)

MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study
par: Viennot, Jules, et autres
Publié: (2025)

NLP Verification: Towards a General Methodology for Certifying Robustness
par: Casadio, Marco, et autres
Publié: (2024)

Verification Modulo Tested Library Contracts
par: Uppar, Abhishek, et autres
Publié: (2026)

Decidable By Construction: Design-Time Verification for Trustworthy AI
par: Haynes, Houston
Publié: (2026)

A Certified Proof Checker for Deep Neural Network Verification in Imandra
par: Desmartin, Remi, et autres
Publié: (2024)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
par: Vin, Eric, et autres
Publié: (2025)

Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers
par: Bharti, Varun, et autres
Publié: (2025)

Smart Choices and the Selection Monad
par: Abadi, Martin, et autres
Publié: (2020)

Programmatic Reinforcement Learning: Navigating Gridworlds
par: Shabadi, Guruprerana, et autres
Publié: (2024)

Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
par: Ye, Kangfeng, et autres
Publié: (2023)

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
par: Tsoukalas, George, et autres
Publié: (2024)

Proof Minimization in Neural Network Verification
par: Isac, Omri, et autres
Publié: (2025)

Logic Gate Neural Networks are Good for Verification
par: Kresse, Fabian, et autres
Publié: (2025)

Branch and Bound for Piecewise Linear Neural Network Verification
par: Bunel, Rudy, et autres
Publié: (2019)

Automated Software Verification of Hyperliveness
par: Beutner, Raven
Publié: (2024)

Predictable Verification using Intrinsic Definitions
par: Murali, Adithya, et autres
Publié: (2024)

Automated Theorem Proving for Prolog Verification
par: Mesnard, Fred, et autres
Publié: (2026)

PICID: Proof-Driven Clause Learning in Neural Network Verification
par: Isac, Omri, et autres
Publié: (2025)

Structural Temporal Logic for Mechanized Program Verification
par: Ioannidis, Eleftherios, et autres
Publié: (2024)

FO-Complete Program Verification for Heap Logics
par: Murali, Adithya, et autres
Publié: (2026)

Towards Regulated Deep Learning
par: García-Camino, Andrés
Publié: (2019)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
par: Le, Quang Loc
Publié: (2025)

Products of Recursive Programs for Hypersafety Verification (Extended Version)
par: Cheng, Ruotong, et autres
Publié: (2025)

Automated Verification of Monotonic Data Structure Traversals in C
par: Sotoudeh, Matthew
Publié: (2025)

From Symbolic Tasks to Code Generation: Diversification Yields Better Task Performers
par: Zhang, Dylan, et autres
Publié: (2024)

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
par: Chirica, Ion, et autres
Publié: (2025)

HaliVer: Deductive Verification and Scheduling Languages Join Forces
par: Haak, Lars B. van den, et autres
Publié: (2024)

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
par: Tsukada, Takeshi, et autres
Publié: (2025)

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
par: Mukherji, Kaustuv, et autres
Publié: (2025)

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
par: Thakur, Amitayush, et autres
Publié: (2025)

An In-Context Learning Agent for Formal Theorem-Proving
par: Thakur, Amitayush, et autres
Publié: (2023)

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs
par: Li, Guchan, et autres
Publié: (2026)

Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
par: Ukhanov, Evgeny
Publié: (2025)

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
par: Batz, Kevin, et autres
Publié: (2025)