863 citations · 906 across the 3 of their papers we have counts for
3 papers
cs.AI2025
AlphaApollo: A System for Deep Agentic Reasoning
Zhanke Zhou, Chentao Cao, Xiao Feng +15
We present AlphaApollo, an agentic reasoning system that targets two bottlenecks in foundation-model reasoning: (1) limited reasoning capacity for complex, long-horizon problem sol…
cs.AI2012★ 43 cited
Algorithm Runtime Prediction: Methods & Evaluation
Frank Hutter, Lin Xu, Holger H. Hoos +1
Perhaps surprisingly, it is possible to predict how long an algorithm will take to run on a previously unseen input, using machine learning techniques to build a model of the algor…
cs.AI2011★ 863 cited
SATzilla: Portfolio-based Algorithm Selection for SAT
Lin Xu, Frank Hutter, Holger H. Hoos +1
It has been widely observed that there is no single "dominant" SAT solver; instead, different solvers perform best on different instances. Rather than following the traditional app…