Cover Image

Faster Verified Explanations for Neural Networks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	De Palma, Alessandro, Dolcetti, Greta, Urban, Caterina
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Formally Verified Robustness Certifier for Neural Networks (Extended Version)
by: Tobler, James, et al.
Published: (2025)

AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs
by: Pezeshkpour, Pouya, et al.
Published: (2026)

Verified Lifting of Deep learning Operators
by: Zhan, Qi, et al.
Published: (2024)

Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks
by: Zulkifli, Kahfi S., et al.
Published: (2025)

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
by: Fukuda, Kota, et al.
Published: (2025)

Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification
by: Kabaha, Anan, et al.
Published: (2025)

SEVerA: Verified Synthesis of Self-Evolving Agents
by: Banerjee, Debangshu, et al.
Published: (2026)

Verification of Neural Networks' Global Robustness
by: Kabaha, Anan, et al.
Published: (2024)

ANCORA: Learning to Question via Manifold-Anchored Self-Play for Verifiable Reasoning
by: Yang, Chengcao
Published: (2026)

Learning Minimal Neural Specifications
by: Geng, Chuqin, et al.
Published: (2024)

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
by: Ravi, Nikil, et al.
Published: (2026)

SoD$^2$: Statically Optimizing Dynamic Deep Neural Network
by: Niu, Wei, et al.
Published: (2024)

ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis
by: Shi, Kensen, et al.
Published: (2023)

Combining Neural Architecture Search and Automatic Code Optimization: A Survey
by: Bachiri, Inas, et al.
Published: (2024)

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
by: Zhang, Guanqin, et al.
Published: (2025)

Mini-Batch Robustness Verification of Deep Neural Networks
by: Tzour-Shaday, Saar, et al.
Published: (2025)

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

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach
by: Dong, Shouyang, et al.
Published: (2025)

Floating-Point Neural Networks Are Provably Robust Universal Approximators
by: Hwang, Geonho, et al.
Published: (2025)

Inferring Properties of Graph Neural Networks
by: Nguyen, Dat, et al.
Published: (2024)

GraphNarrator: Generating Textual Explanations for Graph Neural Networks
by: Pan, Bo, et al.
Published: (2024)

Morello: Compiling Fast Neural Networks with Dynamic Programming and Spatial Compression
by: Kaufman, Samuel J., et al.
Published: (2025)

Towards a Certified Proof Checker for Deep Neural Network Verification
by: Desmartin, Remi, et al.
Published: (2023)

Abstract Interpretation-Based Data Leakage Static Analysis
by: Drobnjaković, Filip, et al.
Published: (2022)

Verified Neural Compressed Sensing
by: Bunel, Rudy, et al.
Published: (2024)

On Using Certified Training towards Empirical Robustness
by: De Palma, Alessandro, et al.
Published: (2024)

Forklift: An Extensible Neural Lifter
by: Armengol-Estapé, Jordi, et al.
Published: (2024)

Neural Models for Source Code Synthesis and Completion
by: Niyogi, Mitodru
Published: (2024)

SequenceLayers: Sequence Processing and Streaming Neural Networks Made Easy
by: Skerry-Ryan, RJ, et al.
Published: (2025)

Generating Pragmatic Examples to Train Neural Program Synthesizers
by: Vaduguru, Saujas, et al.
Published: (2023)

VERINA: Benchmarking Verifiable Code Generation
by: Ye, Zhe, et al.
Published: (2025)

The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages
by: Chen, Boqi, et al.
Published: (2024)

Neural Task Synthesis for Visual Programming
by: Pădurean, Victor-Alexandru, et al.
Published: (2023)

CLEVER: A Curated Benchmark for Formally Verified Code Generation
by: Thakur, Amitayush, et al.
Published: (2025)

A Deep Learning Model for Predicting Transformation Legality
by: Tiwari, Avani, et al.
Published: (2025)

Rulebook: bringing co-routines to reinforcement learning environments
by: Fioravanti, Massimo, et al.
Published: (2025)

Small Language Models as Compiler Experts: Auto-Parallelization for Heterogeneous Systems
by: Devadiga, Prathamesh
Published: (2025)

Agnostics: Learning to Code in Any Programming Language via Reinforcement with a Universal Learning Environment
by: Boruch-Gruszecki, Aleksander, et al.
Published: (2025)

Yggdrasil: Bridging Dynamic Speculation and Static Runtime for Latency-Optimal Tree-Based LLM Decoding
by: Guan, Yue, et al.
Published: (2025)

NaN-Propagation: A Novel Method for Sparsity Detection in Black-Box Computational Functions
by: Sharpe, Peter
Published: (2025)