1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.AI2026
How to Have a Sensitive Debate: An Instance-Optimal Protocol for AI Debate
Jiawei Li, Zhiyang Xun, Lijie Chen +1
As powerful AI systems reach and sometimes surpass the abilities of human experts across a range of cognitively demanding tasks, the problem of accurate oversight and supervision o…
cs.CC2026
A Theory for Probabilistic Polynomial-Time Reasoning
Lijie Chen, Jiatu Li, Igor C. Oliveira +1
In this work, we propose a new bounded arithmetic theory, denoted , designed to formalize a broad class of probabilistic arguments commonly used in theoretical computer scie…
cs.LO2024★ 1 cited
On the Unprovability of Circuit Size Bounds in Intuitionistic
Lijie Chen, Jiatu Li, Igor C. Oliveira
We show that there is a constant such that Buss's intuitionistic theory does not prove that SAT requires co-nondeterministic circuits of size at least .…