activity
20012026
most citedOn the Oracle Complexity of Higher-Order Smooth Non-Convex Finite-Sum Optimization

1 citations · 1 across the 6 of their papers we have counts for

collaborators

6 papers

cs.LG2026

Conformal Language Modeling via Posterior Sampling

Nicolas Emmenegger, Theo X. Olausson, Armando Solar-Lezama +1

Large Language Models remain plagued by hallucinations. Recent work has sought to tame their prevalence using statistical techniques based on conformal prediction, with both theore…

stat.ML2026

Prediction-Powered Inference Across Many Tasks for AI Evaluation & Social Science Research

Nicolas Emmenegger, Ellery Stahler, Chara Podimata

Many applications require statistically valid inference across many related tasks, while using only a handful of high-quality labels per hypothesis. In AI evaluation, these tasks m…

cs.LG2023

Likelihood Ratio Confidence Sets for Sequential Decision Making

Nicolas Emmenegger, Mojmír Mutný, Andreas Krause

Certifiable, adaptive uncertainty estimates for unknown quantities are an essential ingredient of sequential decision-making algorithms. Standard approaches rely on problem-depende…

stat.ML2023

Anytime Model Selection in Linear Bandits

Parnian Kassraie, Nicolas Emmenegger, Andreas Krause +1

Model selection in the context of bandit optimization is a challenging problem, as it requires balancing exploration and exploitation not only for action selection, but also for mo…

math.OC2021★ 1 cited

On the Oracle Complexity of Higher-Order Smooth Non-Convex Finite-Sum Optimization

Nicolas Emmenegger, Rasmus Kyng, Ahad N. Zehmakan

We prove lower bounds for higher-order methods in smooth non-convex finite-sum optimization. Our contribution is threefold: We first show that a deterministic algorithm cannot prof…

hep-th2001

Gauge Invariance and Gauge-Factor Group in Causal Yang-Mills Theory

N. Emmenegger

In the present work the gauge invariance of causal Yang-Mills theory will be proven with the aid of the gauge-factor group. For that purpose it must be shown, that the operator val…