@misc{indiciaecc9b269f0023,
  title = {Scaling Natural-Language Graph-Based Test Time Compute for Automated Theorem Proving},
  author = {Vincent Li and Tim Knappe and Yule Fu and Kevin Han and Kevin Zhu},
  year = {2026},
  url = {https://arxiv.org/abs/2503.11657},
  note = {Source identifier: 2503.11657}
}