1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.CL2026
Human-LLM Deliberation as Interactive Proof: Conditions for Verifiability Without Transparency
Baotong Zhang, Dean Foster, João Sedoc
When an LLM supplies an argument that a user could not readily construct, how can the user decide whether to accept its claim? Inspired by interactive proofs, we model human-LLM de…
cs.AI2026
Trust but Verify: Prover-Verifier Deliberation for Selective LLM Prediction
João Sedoc, Baotong Zhang, Dean Foster
Reliably knowing when a language model is correct is almost as important as being correct. We introduce prover-verifier deliberation (PVD), an inference-time protocol grounded in i…
cs.CY2023★ 1 cited
A graph-based multimodal framework to predict gentrification
Javad Eshtiyagh, Baotong Zhang, Yujing Sun +2
Gentrification--the transformation of a low-income urban area caused by the influx of affluent residents--has many revitalizing benefits. However, it also poses extremely concernin…