Copertina

Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kabaha, Anan, Drachsler-Cohen, Dana
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Machine Learning Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Boosting Few-Pixel Robustness Verification via Covering Verification Designs
di: Shapira, Yuval, et al.
Pubblicazione: (2024)

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

ExPairT-LLM: Exact Learning for LLM Code Selection by Pairwise Queries
di: Yuviler, Tom, et al.
Pubblicazione: (2025)

Tight Robustness Certification Through the Convex Hull of $\ell_0$ Attacks
di: Shapira, Yuval, et al.
Pubblicazione: (2025)

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

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

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

Faster Verified Explanations for Neural Networks
di: De Palma, Alessandro, et al.
Pubblicazione: (2025)

Data-driven Verification of Procedural Programs with Integer Arrays
di: Bouajjani, Ahmed, et al.
Pubblicazione: (2025)

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
di: Wei, Anjiang, et al.
Pubblicazione: (2025)

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

Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification
di: Barone, Antonio Valerio Miceli, et al.
Pubblicazione: (2026)

Can LLMs Compress (and Decompress)? Evaluating Code Understanding and Execution via Invertibility
di: Maveli, Nickil, et al.
Pubblicazione: (2026)

Formal Verification of Variational Quantum Circuits
di: Assolini, Nicola, et al.
Pubblicazione: (2025)

FlakyGuard: Automatically Fixing Flaky Tests at Industry Scale
di: Li, Chengpeng, et al.
Pubblicazione: (2025)

Learning Minimal Neural Specifications
di: Geng, Chuqin, et al.
Pubblicazione: (2024)

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean
di: Xin, Yutong, et al.
Pubblicazione: (2026)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
di: Sanchez-Stern, Alex, et al.
Pubblicazione: (2024)

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

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

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

Enhancing Large Language Models for Hardware Verification: A Novel SystemVerilog Assertion Dataset
di: Menon, Anand, et al.
Pubblicazione: (2025)

SuperDP: Differential Privacy Refutation via Supermartingales
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2026)

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

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

Jailbreak and Guard Aligned Language Models with Only Few In-Context Demonstrations
di: Wei, Zeming, et al.
Pubblicazione: (2023)

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

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

Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction
di: Ramalingam, Ramya, et al.
Pubblicazione: (2024)

AnCoder: Anchored Code Generation via Discrete Diffusion Models
di: Xue, Anton, et al.
Pubblicazione: (2026)

Enhancing the Code Reasoning Capabilities of LLMs via Consistency-based Reinforcement Learning
di: Qin, Zhanyue, et al.
Pubblicazione: (2026)

DP-MGTD: Privacy-Preserving Machine-Generated Text Detection via Adaptive Differentially Private Entity Sanitization
di: Wang, Lionel Z., et al.
Pubblicazione: (2026)

DafnyBench: A Benchmark for Formal Software Verification
di: Loughridge, Chloe, et al.
Pubblicazione: (2024)

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

The Next 700 ML-Enabled Compiler Optimizations
di: VenkataKeerthy, S., et al.
Pubblicazione: (2023)

Verification Modulo Tested Library Contracts
di: Uppar, Abhishek, et al.
Pubblicazione: (2026)

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

Neural Models for Source Code Synthesis and Completion
di: Niyogi, Mitodru
Pubblicazione: (2024)