2 papers
cs.CL2026
Sequent-Prover: Training Agents for Formal, Checkable SMT-based Reasoning
Debargha Ganguly, Weicong Chen, Mohsen Hariri +13
We introduce Sequent-Prover, a family of verifier-using language-model agents, and the post-training framework that produces them. Agents reason in an executable SMT-LIB scratchpad…
math.CO2026
Coefficientwise Extremality and Rigidity for Independent Sets in Bipartite Graph Covers
Yusuke Watanabe
Let be a finite bipartite graph and let be an -fold cover. We compare independent sets of with those of the trivial cover, consisting of di…