Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory
Tingzhou Wei, Zeyu Zheng, Ethan X. Fang +1
Asymptotic statistical theory is a challenging domain for AI-assisted formalization: its central results mix convergence statements, asymptotic expansions, functional analysis, and…
cs.AI2024
Expected Work Search: Combining Win Rate and Proof Size Estimation
Owen Randall, Martin Müller, Ting Han Wei +1
We propose Expected Work Search (EWS), a new game solving algorithm. EWS combines win rate estimation, as used in Monte Carlo Tree Search, with proof size estimation, as used in Pr…