activity
20192025
most citedAbstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation

8 citations · 27 across the 23 of their papers we have counts for

collaborators
Showing 2024Show all

8 papers · 1 filter

cs.CL2024

A Unified Approach to Routing and Cascading for LLMs

Jasper Dekoninck, Maximilian Baader, Martin Vechev

The availability of a wide range of large language models (LLMs) embedded in various agentic systems has significantly increased the potential of model selection strategies to impr…

cs.LG2024

Ward: Provable RAG Dataset Inference via LLM Watermarks

Nikola Jovanović, Robin Staab, Maximilian Baader +1

RAG enables LLMs to easily incorporate external data, raising concerns for data owners regarding unauthorized usage of their content. The challenge of detecting such unauthorized u…

cs.CL2024

Polyrating: A Cost-Effective and Bias-Aware Rating System for LLM Evaluation

Jasper Dekoninck, Maximilian Baader, Martin Vechev

Rating-based human evaluation has become an essential tool to accurately evaluate the impressive performance of large language models (LLMs). However, current rating systems suffer…

cs.LG2024

Certified Robustness to Data Poisoning in Gradient-Based Training

Philip Sosnin, Mark N. Müller, Maximilian Baader +2

Modern machine learning pipelines leverage large amounts of public data, making it infeasible to guarantee data quality and leaving models open to poisoning and backdoor attacks. P…

cs.LG2024★ 1 cited

DAGER: Exact Gradient Inversion for Large Language Models

Ivo Petrov, Dimitar I. Dimitrov, Maximilian Baader +2

Federated learning works by aggregating locally computed gradients from multiple clients, thus enabling collaborative training without sharing private client data. However, prior w…

cs.LG2024

Gaussian Loss Smoothing Enables Certified Training with Tight Convex Relaxations

Stefan Balauca, Mark Niklas Müller, Yuhao Mao +3

Training neural networks with high certified accuracy against adversarial examples remains an open challenge despite significant efforts. While certification methods can effectivel…

cs.LG2024★ 1 cited

SPEAR:Exact Gradient Inversion of Batches in Federated Learning

Dimitar I. Dimitrov, Maximilian Baader, Mark Niklas Müller +1

Federated learning is a framework for collaborative machine learning where clients only share gradient updates and not their private data with a server. However, it was recently sh…

cs.LG2024★ 3 cited

Evading Data Contamination Detection for Language Models is (too) Easy

Jasper Dekoninck, Mark Niklas Müller, Maximilian Baader +2

Large language models are widespread, with their performance on benchmarks frequently guiding user preferences for one model over another. However, the vast amount of data these mo…