Review
Oct 2026
PACE: Research Proving Agent for Adaptive Conjecture Exploration
Many mathematical research agents focus on solving problems with fixed statements. However, conjecture research, especially in applied mathematics, may require revising candidate questions or conclusions as investigation proceeds, coupling problem formulation with proof development. We present PACE, a research-proof ag...
Shu-Rong Miao, Fei-Ming Wang, Wen-Tao Long et al.
· 0 citations