159 citations · 798 across the 116 of their papers we have counts for
Showing 2026 · cs.AIShow all
3 papers · 2 filters
cs.AI2026
Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases
Marcus J. Min, Mike He, Zhaoyu Li +5
Autoformalization translates informal natural language into formal, machine-verifiable languages. While most work focuses on individual statements, real formalization efforts are i…
cs.AI2026
Policy-Guided Stepwise Model Routing for Cost-Effective Reasoning
Wenwen Si, Insup Lee, Osbert Bastani
Inference-time computation has greatly enhanced the performance of large language models (LLMs) on challenging reasoning tasks, but this strategy can incur high inference costs. On…
cs.AI2026
Are AI Capabilities Increasing Exponentially? A Competing Hypothesis
Haosen Ge, Hamsa Bastani, Osbert Bastani
Rapidly increasing AI capabilities have substantial real-world consequences, ranging from AI safety concerns to labor market consequences. The Model Evaluation & Threat Research (M…