Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Reward-Oracle MCTS for Formal Theorem Proving: Sample-Efficient Search and the Need for Kernel-Level Proof Auditing
Bodla Krishna Vamshi, Haizhao Yang
Formal theorem proving with large language models remains challenging due to the difficulty of navigating large proof search spaces efficiently. Existing tree search approaches eit…
cs.AI2026
AgonAlpha: Autonomous Alpha Discovery via Prompt Economy and Scalable Agentic Search
Weicheng Ye, Youran Sun, Xingyu Ren +3
Language models can propose many plausible trading factors, but an autonomous research system must also allocate its evaluation budget, verify its own evidence, and preserve how ea…