2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
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…