@misc{indiciaeb798547f4cb3,
  title = {PACE: Research Proving Agent for Adaptive Conjecture Exploration},
  author = {Shu Miao and Feiming Wang and Wentao Long and Chenyi Li and Kun Yuan and Zaiwen Wen},
  year = {2026},
  url = {https://arxiv.org/abs/2610.33690},
  note = {Source identifier: 2610.33690}
}