TY  - RPRT
TI  - Sequent-Prover: Training Agents for Formal, Checkable SMT-based Reasoning
AU  - Debargha Ganguly
AU  - Weicong Chen
AU  - Mohsen Hariri
AU  - Vikash Singh
AU  - Sreehari Sankar
AU  - Shouren Wang
AU  - Wang Yang
AU  - Biyao Zhang
AU  - Chaoda Song
AU  - Alexander Nemecek
AU  - Kai Ye
AU  - Osama Zafar
AU  - Erman Ayday
AU  - Joe Stubbs
AU  - Srinivasan Iyengar
AU  - Vipin Chaudhary
PY  - 2026
UR  - https://arxiv.org/abs/2610.15258
ID  - 2610.15258
ER  -