:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Bunel, Rudy, Dvijotham, Krishnamurthy, Kumar, M. Pawan, De Palma, Alessandro, Stanforth, Robert
Formato:	Preprint
Publicado:	2024
Materias:	Machine Learning Artificial Intelligence
Acceso en línea:	https://arxiv.org/abs/2405.04260
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

Provably Bounding Neural Network Preimages
por: Kotha, Suhas, et al.
Publicado: (2023)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Malice in Agentland: Down the Rabbit Hole of Backdoors in the AI Supply Chain
por: Boisvert, Léo, et al.
Publicado: (2025)

vAttention: Verified Sparse Attention
por: Desai, Aditya, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Selective Uncertainty Propagation in Offline RL
por: Krishnamurthy, Sanath Kumar, et al.
Publicado: (2023)

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

Anomaly Detection in Electric Vehicle Charging Stations Using Federated Learning
por: C, Bishal K, et al.
Publicado: (2025)

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