Adaptive Generate-Rank-Verify: Inference-Time Search with Costly Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dughmi, Shaddin, Haghifam, Mahdi, Kalayci, Yusuf Hakan
Format:	Preprint
Published:	2026
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Optimal Stopping vs Best-of-$N$ for Inference Time Optimization
by: Kalayci, Yusuf, et al.
Published: (2025)

Is Transductive Learning Equivalent to PAC Learning?
by: Dughmi, Shaddin, et al.
Published: (2024)

Near-Optimal Sparsifiers for Stochastic Knapsack and Assignment Problems
by: Dughmi, Shaddin, et al.
Published: (2025)

Limitations of Stochastic Selection with Pairwise Independent Priors
by: Dughmi, Shaddin, et al.
Published: (2023)

PAC Learning is just Bipartite Matching (Sort of)
by: Dughmi, Shaddin
Published: (2025)

Relatively Smart: A New Approach for Instance-Optimal Learning
by: Dughmi, Shaddin, et al.
Published: (2026)

Local Regularizers Are Not Transductive Learners
by: Jafar, Sky, et al.
Published: (2025)

A Theory of Time-Sensitive Language Generation: Sparse Hallucination Beats Mode Collapse
by: Ganju, Atul, et al.
Published: (2026)

The Sample Complexity of Membership Inference and Privacy Auditing
by: Haghifam, Mahdi, et al.
Published: (2025)

Efficient Multi-Agent Delegated Search
by: Bechtel, Curtis, et al.
Published: (2024)

Proper Learnability and the Role of Unlabeled Data
by: Asilis, Julian, et al.
Published: (2025)

Regularization and Optimal Multiclass Learning
by: Asilis, Julian, et al.
Published: (2023)

Private Geometric Median
by: Haghifam, Mahdi, et al.
Published: (2024)

Transductive Learning Is Compact
by: Asilis, Julian, et al.
Published: (2024)

Information Complexity of Stochastic Convex Optimization: Applications to Generalization and Memorization
by: Attias, Idan, et al.
Published: (2024)

LYNX: Learning Dynamic Exits for Confidence-Controlled Reasoning
by: Akgül, Ömer Faruk, et al.
Published: (2025)

Sample, Scrutinize and Scale: Effective Inference-Time Search by Scaling Verification
by: Zhao, Eric, et al.
Published: (2025)

On Traceability in $\ell_p$ Stochastic Convex Optimization
by: Voitovych, Sasha, et al.
Published: (2025)

Temporal Panel Selection in Ongoing Citizens' Assemblies
by: Kalayci, Yusuf Hakan, et al.
Published: (2026)

Adaptive Inference-Time Scaling via Cyclic Diffusion Search
by: Lee, Gyubin, et al.
Published: (2025)

Gradient Boosting Decision Trees on Medical Diagnosis over Tabular Data
by: Yıldız, A. Yarkın, et al.
Published: (2024)

AIF: Asynchronous Inference Framework for Cost-Effective Pre-Ranking
by: Kou, Zhi, et al.
Published: (2025)

MARS: Harmonizing Multimodal Convergence via Adaptive Rank Search
by: Cho, Minkyoung, et al.
Published: (2026)

ScalingNoise: Scaling Inference-Time Search for Generating Infinite Videos
by: Yang, Haolin, et al.
Published: (2025)

Generative Modeling of Networked Time-Series via Transformer Architectures
by: Elnady, Yusuf
Published: (2025)

Asymmetric Prompt Weighting for Reinforcement Learning with Verifiable Rewards
by: Heckel, Reinhard, et al.
Published: (2026)

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

Steerable Scene Generation with Post Training and Inference-Time Search
by: Pfaff, Nicholas, et al.
Published: (2025)

Near-optimal Rank Adaptive Inference of High Dimensional Matrices
by: Zheng, Frédéric, et al.
Published: (2025)

Statistical Inference for Responsiveness Verification
by: Cheon, Seung Hyun, et al.
Published: (2025)

Inference-Time Search Using Side Information for Diffusion-Based Image Reconstruction
by: Farahbakhsh, Mahdi, et al.
Published: (2025)

Learning Verifiable Control Policies Using Relaxed Verification
by: Chaudhury, Puja, et al.
Published: (2025)

ETS: Efficient Tree Search for Inference-Time Scaling
by: Hooper, Coleman, et al.
Published: (2025)

SkillGen: Verified Inference-Time Agent Skill Synthesis
by: Ma, Yuchen, et al.
Published: (2026)

GameGen-Verifier: Parallel Keypoint-Based Verification for LLM-Generated Games via Runtime State Injection
by: Jia, Chaobo, et al.
Published: (2026)

Robust Bayesian Inference via Variational Approximations of Generalized Rho-Posteriors
by: Khribch, EL Mahdi, et al.
Published: (2026)

Sketch-and-Verify: Structured Inference-Time Scaling via Program Sketching
by: Jiang, Shan, et al.
Published: (2026)

CoSineVerifier: Tool-Augmented Answer Verification for Computation-Oriented Scientific Questions
by: Feng, Ruixiang, et al.
Published: (2025)

FSD-Inference: Fully Serverless Distributed Inference with Scalable Cloud Communication
by: Oakley, Joe, et al.
Published: (2024)

BEATS: Optimizing LLM Mathematical Capabilities with BackVerify and Adaptive Disambiguate based Efficient Tree Search
by: Sun, Linzhuang, et al.
Published: (2024)