Copertina

Verified Neural Compressed Sensing

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bunel, Rudy, Dvijotham, Krishnamurthy, Kumar, M. Pawan, De Palma, Alessandro, Stanforth, Robert
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Expressive Losses for Verified Robustness via Convex Combinations
di: De Palma, Alessandro, et al.
Pubblicazione: (2023)

Efficient Error Certification for Physics-Informed Neural Networks
di: Eiras, Francisco, et al.
Pubblicazione: (2023)

Achieving the Tightest Relaxation of Sigmoids for Formal Verification
di: Chevalier, Samuel, et al.
Pubblicazione: (2024)

Provably Bounding Neural Network Preimages
di: Kotha, Suhas, et al.
Pubblicazione: (2023)

Scaling the Convex Barrier with Sparse Dual Algorithms
di: De Palma, Alessandro, et al.
Pubblicazione: (2021)

Hierarchical Sparse Plus Low Rank Compression of LLM
di: Kumar, Pawan, et al.
Pubblicazione: (2025)

Learning to Receive Help: Intervention-Aware Concept Embedding Models
di: Zarlenga, Mateo Espinosa, et al.
Pubblicazione: (2023)

Confidence-aware Reward Optimization for Fine-tuning Text-to-Image Models
di: Kim, Kyuyoung, et al.
Pubblicazione: (2024)

Branch and Bound for Piecewise Linear Neural Network Verification
di: Bunel, Rudy, et al.
Pubblicazione: (2019)

No, of Course I Can! Deeper Fine-Tuning Attacks That Bypass Token-Level Safety Mechanisms
di: Kazdan, Joshua, et al.
Pubblicazione: (2025)

Latent Generative Models with Tunable Complexity for Compressed Sensing and other Inverse Problems
di: Gunn, Sean, et al.
Pubblicazione: (2026)

Correlated Noise Provably Beats Independent Noise for Differentially Private Learning
di: Choquette-Choo, Christopher A., et al.
Pubblicazione: (2023)

Verified Safe Reinforcement Learning for Neural Network Dynamic Models
di: Wu, Junlin, et al.
Pubblicazione: (2024)

Self-Compressing Neural Networks
di: Cséfalvay, Szabolcs, et al.
Pubblicazione: (2023)

Putting the Value Back in RL: Better Test-Time Scaling by Unifying LLM Reasoners With Verifiers
di: Sareen, Kusha, et al.
Pubblicazione: (2025)

Can We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators
di: Baheri, Ali, et al.
Pubblicazione: (2026)

vAttention: Verified Sparse Attention
di: Desai, Aditya, et al.
Pubblicazione: (2025)

Position: Behavioural Assurance Cannot Verify the Safety Claims Governance Now Demands
di: Seth, Pratinav, et al.
Pubblicazione: (2026)

CoSA: Compressed Sensing-Based Adaptation of Large Language Models
di: Wei, Songtao, et al.
Pubblicazione: (2026)

Diffusion Generative Models Meet Compressed Sensing, with Applications to Imaging and Finance
di: Guo, Zhengyi, et al.
Pubblicazione: (2025)

Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
di: Batten, Ben, et al.
Pubblicazione: (2024)

DISCO: learning to DISCover an evolution Operator for multi-physics-agnostic prediction
di: Morel, Rudy, et al.
Pubblicazione: (2025)

Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes
di: Abu-Haeyeh, Yasmine, et al.
Pubblicazione: (2026)

LitLLMs, LLMs for Literature Review: Are we there yet?
di: Agarwal, Shubham, et al.
Pubblicazione: (2024)

Reinforcement Learning with Verifiable yet Noisy Rewards under Imperfect Verifiers
di: Cai, Xin-Qiang, et al.
Pubblicazione: (2025)

Compressing Deep Neural Networks Using Explainable AI
di: Soroush, Kimia, et al.
Pubblicazione: (2025)

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

Reinforced Compressive Neural Architecture Search for Versatile Adversarial Robustness
di: Wang, Dingrong, et al.
Pubblicazione: (2024)

Verifying the Verifiers: Unveiling Pitfalls and Potentials in Fact Verifiers
di: Seo, Wooseok, et al.
Pubblicazione: (2025)

TrimR: Verifier-based Training-Free Thinking Compression for Efficient Test-Time Scaling
di: Lin, Weizhe, et al.
Pubblicazione: (2025)

The Role of Environment Access in Agnostic Reinforcement Learning
di: Krishnamurthy, Akshay, et al.
Pubblicazione: (2025)

SoundnessBench: A Soundness Benchmark for Neural Network Verifiers
di: Zhou, Xingjian, et al.
Pubblicazione: (2024)

HDL-GPT: High-Quality HDL is All You Need
di: Kumar, Bhuvnesh, et al.
Pubblicazione: (2024)

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

Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation
di: Mo, Zihao, et al.
Pubblicazione: (2024)

Optimizing Deep Neural Networks using Safety-Guided Self Compression
di: Zbeeb, Mohammad, et al.
Pubblicazione: (2025)

Learning Hidden Markov Models Using Conditional Samples
di: Kakade, Sham M., et al.
Pubblicazione: (2023)

V-STaR: Training Verifiers for Self-Taught Reasoners
di: Hosseini, Arian, et al.
Pubblicazione: (2024)

SCI-Verifier: Scientific Verifier with Thinking
di: Zheng, Shenghe, et al.
Pubblicazione: (2025)

Verifying Machine Unlearning with Explainable AI
di: Vidal, Àlex Pujol, et al.
Pubblicazione: (2024)