@misc{indiciae63ea4fdae058,
  title = {Sequent-Prover: Training Agents for Formal, Checkable SMT-based Reasoning},
  author = {Debargha Ganguly and Weicong Chen and Mohsen Hariri and Vikash Singh and Sreehari Sankar and Shouren Wang and Wang Yang and Biyao Zhang and Chaoda Song and Alexander Nemecek and Kai Ye and Osama Zafar and Erman Ayday and Joe Stubbs and Srinivasan Iyengar and Vipin Chaudhary},
  year = {2026},
  url = {https://arxiv.org/abs/2610.15258},
  note = {Source identifier: 2610.15258}
}