7 papers
Adaptive Generate-Rank-Verify: Inference-Time Search with Costly Verification
Shaddin Dughmi, Mahdi Haghifam, Yusuf Hakan Kalayci
Many inference-time language-model pipelines combine a cheap reward signal with an expensive verifier, such as exact answer checking in mathematical reasoning or hidden-test execut…
Temporal Panel Selection in Ongoing Citizens' Assemblies
Yusuf Hakan Kalayci, Evi Micha
Permanent citizens' assemblies are ongoing deliberative bodies composed of randomly selected citizens, organized into panels that rotate over time. Unlike one-off panels, which rep…
LYNX: Learning Dynamic Exits for Confidence-Controlled Reasoning
Ãmer Faruk Akgül, Yusuf Hakan Kalaycı, Rajgopal Kannan +2
Large reasoning models achieve strong performance on complex tasks by generating extended chains of thought, but they often "overthink": continuing to reason long after they have e…
Near-Optimal Sparsifiers for Stochastic Knapsack and Assignment Problems
Shaddin Dughmi, Yusuf Hakan Kalayci, Xinyu Liu
When uncertainty meets costly information gathering, a fundamental question emerges: which data points should we probe to unlock near-optimal solutions? Sparsification of stochasti…
Optimal Stopping vs Best-of- for Inference Time Optimization
Yusuf Kalayci, Vinod Raman, Shaddin Dughmi
Large language model (LLM) generation often requires balancing output quality against inference cost, especially when using multiple generations. We introduce a new framework for i…
Full Proportional Justified Representation
Yusuf Hakan Kalayci, Jiasen Liu, David Kempe
In multiwinner approval voting, forming a committee that proportionally represents voters' approval ballots is an essential task. The notion of justified representation (JR) demand…