The Problem Is the Problem: Towards Scalable Mathematical Discovery
Source
arxiv.org
Author
Zeyu Zheng, Shengtong Zhang, Jeremy Avigad, Prasad Tetali, Sean Welleck
Date
Why it matters
Allocating expensive model reasoning and human review across a candidate pool is the same problem every agentic research pipeline has, framed here as search and recommendation rather than prompting.
