:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Balauca, Stefan, Müller, Mark Niklas, Mao, Yuhao, Baader, Maximilian, Fischer, Marc, Vechev, Martin
Format:	Preprint
Published:	2024
Subjects:	Machine Learning
Online Access:	https://arxiv.org/abs/2403.07095
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

CTBENCH: A Library and Benchmark for Certified Training
by: Mao, Yuhao, et al.
Published: (2024)

Understanding Certified Training with Interval Bound Propagation
by: Mao, Yuhao, et al.
Published: (2023)

Average Certified Radius is a Poor Metric for Randomized Smoothing
by: Sun, Chenhao, et al.
Published: (2024)

Evading Data Contamination Detection for Language Models is (too) Easy
by: Dekoninck, Jasper, et al.
Published: (2024)

Expressiveness of Multi-Neuron Convex Relaxations in Neural Network Certification
by: Mao, Yuhao, et al.
Published: (2024)

SPEAR:Exact Gradient Inversion of Batches in Federated Learning
by: Dimitrov, Dimitar I., et al.
Published: (2024)

DAGER: Exact Gradient Inversion for Large Language Models
by: Petrov, Ivo, et al.
Published: (2024)

Dual Randomized Smoothing: Beyond Global Noise Variance
by: Sun, Chenhao, et al.
Published: (2025)

Certified Robustness to Data Poisoning in Gradient-Based Training
by: Sosnin, Philip, et al.
Published: (2024)

MixAT: Combining Continuous and Discrete Adversarial Training for LLMs
by: Dékány, Csaba, et al.
Published: (2025)

Automated Classification of Model Errors on ImageNet
by: Peychev, Momchil, et al.
Published: (2023)

Ward: Provable RAG Dataset Inference via LLM Watermarks
by: Jovanović, Nikola, et al.
Published: (2024)

AutoBaxBuilder: Bootstrapping Code Security Benchmarking
by: von Arx, Tobias, et al.
Published: (2025)

Practical Hybrid Quantum Language Models with Observable Readout on Real Hardware
by: Balauca, Stefan, et al.
Published: (2025)

SPEAR++: Scaling Gradient Inversion via Sparsely-Used Dictionary Learning
by: Bakarsky, Alexander, et al.
Published: (2025)

SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents
by: Mündler, Niels, et al.
Published: (2024)

GRAIN: Exact Graph Reconstruction from Gradients
by: Drencheva, Maria, et al.
Published: (2025)

Learning Compact Boolean Networks
by: Wang, Shengpu, et al.
Published: (2026)

CommandSans: Securing AI Agents with Surgical Precision Prompt Sanitization
by: Das, Debeshee, et al.
Published: (2025)

Guiding LLMs The Right Way: Fast, Non-Invasive Constrained Generation
by: Beurer-Kellner, Luca, et al.
Published: (2024)

BaxBench: Can LLMs Generate Correct and Secure Backends?
by: Vero, Mark, et al.
Published: (2025)

Mitigating Catastrophic Forgetting in Language Transfer via Model Merging
by: Alexandrov, Anton, et al.
Published: (2024)

Naive Feature Selection: a Nearly Tight Convex Relaxation for Sparse Naive Bayes
by: Askari, Armin, et al.
Published: (2019)

A Unified Approach to Routing and Cascading for LLMs
by: Dekoninck, Jasper, et al.
Published: (2024)

Polyrating: A Cost-Effective and Bias-Aware Rating System for LLM Evaluation
by: Dekoninck, Jasper, et al.
Published: (2024)

Tight Lower Bounds under Asymmetric High-Order Hölder Smoothness and Uniform Convexity
by: Bai, Cedar Site, et al.
Published: (2024)

Convergent Privacy Loss of Noisy-SGD without Convexity and Smoothness
by: Chien, Eli, et al.
Published: (2024)

CuTS: Customizable Tabular Synthetic Data Generation
by: Vero, Mark, et al.
Published: (2023)

Establishing Linear Surrogate Regret Bounds for Convex Smooth Losses via Convolutional Fenchel-Young Losses
by: Cao, Yuzhou, et al.
Published: (2025)

A Universal Growth Rate for Learning with Smooth Surrogate Losses
by: Mao, Anqi, et al.
Published: (2024)

Decentralized Smoothing ADMM for Quantile Regression with Non-Convex Sparse Penalties
by: Mirzaeifard, Reza, et al.
Published: (2024)

Tokenisation via Convex Relaxations
by: Tempus, Jan, et al.
Published: (2026)

Adaptive Generation of Bias-Eliciting Questions for LLMs
by: Staab, Robin, et al.
Published: (2025)

ToolFuzz -- Automated Agent Tool Testing
by: Milev, Ivan, et al.
Published: (2025)

Enhanced Estimation Techniques for Certified Radii in Randomized Smoothing
by: Liang, Zixuan
Published: (2025)

Laplace-Bridged Randomized Smoothing for Fast Certified Robustness
by: Lin, Miao, et al.
Published: (2026)

Federated Smoothing Proximal Gradient for Quantile Regression with Non-Convex Penalties
by: Mirzaeifard, Reza, et al.
Published: (2024)

Nonparametric MLE for Gaussian Location Mixtures: Certified Computation and Generic Behavior
by: Polyanskiy, Yury, et al.
Published: (2025)

A Synthetic Dataset for Personal Attribute Inference
by: Yukhymenko, Hanna, et al.
Published: (2024)

Watch your steps: Dormant Adversarial Behaviors that Activate upon LLM Finetuning
by: Gloaguen, Thibaud, et al.
Published: (2025)