Inference-Time Search

Latest papers 74

All topics
CardsList
  1. Blackboard Intelligence Can Surpass Autoregressive on Globally Constrained Problems

    Sep 30, 2026Woosang Jeon, Jaeyeon Kim, Sham Kakade +6Inference-Time SearchCombinatorial Optimization

  2. Provable Test-Time Scaling for Beam Search in LLM Reasoning

    Sep 29, 2026Qijia He, Yu Huang, Yuan Cheng +2Inference-Time SearchTest-Time Scaling

  3. Direct Optimization of Generators for Search in Automated Theorem Proving

    Sep 22, 2026Adam Ousherovitch, Ambuj TewariInference-Time SearchAutomated Theorem Proving

  4. Self Improvement via Fast Tree-search

    Sep 17, 2026Xinghong Fu, Aravinth Kulanthaivelu, Yutaro YamadaInference-Time SearchAI Coding Agents

  5. Stellar Colosseum: A Many-Agent Harness for Long-Horizon Research in Mathematics and Theoretical Computer Science

    Sep 14, 2026Honghao Lin, David P. Woodruff, Yuan Deng +3Inference-Time SearchAutomated Theorem Proving

  6. GraphAHA: Graph-Based Adaptive Search with Heterogeneous Actions for Test-Time Code Generation

    Sep 14, 2026Xitao Li, Haijun Wang, Gege Yuan +4Inference-Time SearchTest-Time Scaling

  7. Rethinking Indirect Prompt Injection as a Test-Time Search Problem

    Sep 7, 2026Duong M. Nguyen, Joon Sik Kim, Blazej Manczak +1Inference-Time SearchAI Agent Security

  8. Explore Before Committing: Hypothesis-Guided Search for Deep Research Agents

    Sep 1, 2026Ruochen Zhou, Zhengyu Chen, Luan Zhang +3Inference-Time SearchDeep Research Agents

  9. From Base Rollouts to RL Reasoning: A Budgeted Search Perspective

    Sep 1, 2026Wenhe Sun, Cunxiang Wang, Zijun Yao +1Inference-Time SearchRL for Language Model Reasoning

  10. Escaping Reasoning Basin Collapse with History-Biased Search

    Sep 1, 2026Lu ChengInference-Time SearchReasoning Diversity

  11. When LLM Meets Tree Search: A Systematic View of Inference as Search in Large Language Models

    Aug 31, 2026Jiaqi Wei, Xiang Zhang, Yuejin Yang +10Inference-Time SearchInference-Time Scaling

  12. Mitigating Over-Optimization in PRM-Guided Search in Mathematical Reasoning by Optimizing the Guide

    Aug 30, 2026Taejong Joo, Diego KlabjanInference-Time SearchProcess Reward Models

  13. TsuGO: Probing Search Efficiency in LLM Reasoning via Go Life-and-Death Problems

    Aug 13, 2026Shunwen Bai, Ziping Ma, Chaoyang Zhang +4LLM EvaluationInference-Time Search

  14. Recovering Wasted Compute in Autoresearch Agents

    Aug 11, 2026Au Kwok Chun, Abhigyan Acherjee, Amrutha Rao +4Inference-Time SearchAgent Harness Optimization

  15. Consilience for Verifier-Free Test-Time Scaling

    Aug 10, 2026Lecheng Kong, Like Hui, Haitao Mao +1Inference-Time SearchTest-Time Scaling

  16. Idea Search: Guiding Tree Search with Ideas to Explore Diverse Scientific Methods

    Aug 9, 2026Xuefei Julie Wang, Hao Cui, Michael P. Brenner +1Inference-Time SearchAutomated Algorithm Discovery

  17. Thought-Level Beam Search for Reasoning

    Aug 8, 2026Lijie Yang, Hongyin Luo, Jiawei Zhao +2Inference-Time SearchEfficient Language Model Reasoning

  18. Advantage-Guided Gate: Reshaping Open-Ended Reasoning for Vision-Based Spatial Intelligence

    Aug 8, 2026Ling Lin, Yang Bai, Congcong Zhu +6Visual Spatial ReasoningInference-Time Search

  19. G-ReAct: Graph-Guided Deep Search via Structure-State Co-Evolution

    Aug 2, 2026Shaoxiong Yang, Mengyuan Zhang, Shaojun Lin +4Multi-Hop QAInference-Time Search

  20. Bridging Inference-Time Scaling and Episodic Memory with Action-Centric Graphs

    Jul 29, 2026Xu Zheng, Chaohao Lin, Zhuomin Chen +4Agent MemoryInference-Time Search

  21. Budget-Aware LLM Discovery via Cost-Calibrated Frontier Utility

    Jul 29, 2026Yansen Zhang, Yilu Liu, Tianyu Liu +6Inference-Time SearchAutomated Algorithm Discovery

  22. Understanding Human-like Solutions in Combinatorial Optimization via Learning and Search

    Jul 26, 2026Haijiang Yan, Jian-Qiao Zhu, Liqiang Huang +1Traveling Salesperson ProblemInference-Time Search

  23. Energy-guided Recursive Model

    Jul 11, 2026Yifei Zhao, Ying TangInference-Time SearchEnergy-Based Models

  24. Search, Fail, Recover: A Training Framework for Correction-Aware Reasoning

    Jul 8, 2026Dmitry Beresnev, Vladimir Makharev, Roman Khalikov +2LLM Self-CorrectionInference-Time Search

  25. BFMT: Enhancing Search Capabilities of Tree Sampler via Bootstrap Flow-Map Tree

    Jul 3, 2026Binglin Ji, Anindya Sarkar, Hengchang Lu +4Inference-Time SearchImage Generation

  26. Sampling Meets Interaction: Sequentially-Controlled Multi-Particle Flow-Maps for Efficient Inference-time Search

    Jul 1, 2026Binglin Ji, Anindya Sarkar, Hengchang Lu +2Inference-Time SearchPosterior Sampling

  27. Learning the ARTS of Search for Automated Discovery

    Jun 20, 2026Gurusha Juneja, Arnav Kumar Jain, Deepak Nathani +2Inference-Time SearchAutomated Algorithm Discovery

  28. Temporal Backtracking Search for Test-time Generative Video Reasoning

    Jun 11, 2026Sejoon Jun, Zheng Ding, Huangyuan Su +2Inference-Time SearchTest-Time Scaling

  29. Evoflux: Inference-Time Evolution of Executable Tool Workflows for Compact Agents

    Jun 10, 2026Kushal Raj Bhandari, Ling Yue, Ching-Yun Ko +4Inference-Time SearchLLM Agent Workflow Optimization

  30. TreeSeeker: Tree-Structured Trial, Error, and Return in Deep Search

    Jun 10, 2026Zhuofan Shi, Mingzhe Ma, Lu Wang +8Inference-Time SearchExploration-Exploitation Tradeoff

  31. Efficient Test-time Inference for Generative Planning Models with OCL Search

    May 30, 2026Robert Gieselmann, Mihai Samson, Federico Pecora +1Inference-Time SearchEfficient Inference

  32. LinTree: Improving LLM Reasoning with Explicitly Structured Search Histories

    May 29, 2026Liwei Kang, Yee Whye Teh, Wee Sun LeeInference-Time SearchTree of Thoughts

  33. Automating Formal Verification with Reinforcement Learning and Recursive Inference

    May 29, 2026Max TanRL for Code GenerationInference-Time Search

  34. Structure-Induced Information for Rerooting Levin Tree Search

    May 28, 2026Jake Tuero, Michael Buro, Laurent Orseau +1Inference-Time SearchTree Search

  35. Share More, Search Less: Collaborative Parallel Thinking for Efficient Test-Time Scaling

    May 26, 2026Xinglin Wang, Hao Lin, Shaoxiong Feng +9Inference-Time SearchTest-Time Scaling

  36. Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4

    May 25, 2026Austin Shen, Yunong ShiInference-Time SearchAutomated Theorem Proving

  37. Boosting Inference with Guided Reasoning: Stochastic Exploration for Recursive Models

    May 24, 2026Andrew Corbett, Archit Sood, Anna Tzatzopoulou +2Inference-Time SearchStructured Reasoning

  38. ArborKV: Structure-Aware KV Cache Management for Scaling Tree-based LLM Reasoning

    May 21, 2026Yeqiu Chen, Ziyan Liu, Zhenxin Huang +3Inference-Time SearchTree of Thoughts

  39. Beyond Fixed Budgets: Characterizing the Inelasticity and Limitations of Tree-of-Thought Reasoning Strategies

    May 19, 2026Atkia Mahila, Avinash Maurya, M. Mustafa Rafique +1LLM EvaluationInference-Time Search

  40. Protein Thoughts: Interpretable Reasoning with Tree of Thoughts and Embedding-Space Flow Matching for Protein-Protein Interaction Discovery

    May 19, 2026Kingsley Yeon, Xuefeng Liu, Promit GhosalInference-Time SearchTree of Thoughts

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

    May 17, 2026Shaddin Dughmi, Mahdi Haghifam, Yusuf Hakan KalayciAdaptive InferenceInference-Time Search

  42. FML-bench: A Controlled Study of AI Research Agent Strategies from the Perspective of Search Dynamics

    May 17, 2026Qiran Zou, Hou Hei Lam, Wenhao Zhao +11AI Agents for Scientific DiscoveryInference-Time Search

  43. R^2-Mem: Reflective Experience for Memory Search

    May 13, 2026Xinyuan Wang, Wenyu Mao, Junkang Wu +2Inference-Time SearchLLM Agent Memory