arXiv:2610.15258v1 Announce Type: cross Abstract: We introduce Sequent-Prover, a family of verifier-using language-model agents, and the post-training framework that produces them.
← Back to all developments · Signals are a development reported by more than one source. See the methodology.