Optimal Information Acquisition and Sharing Decisions: Joint Reviews on Crowdsourcing Product Design. - Jizi Li; Xiaodie Wang; Justin Z. Zhang; Longyu Li (J. Database Manag., 2023)

Clarifying Before Reasoning: A Coq Prover with Structural Context. - Yanzhen Lu; Hanbin Yang; Xiaodie Wang; Ge Zhang; Biao Li; Chenxu Fu; Chao Li; Yang Yuan; Andrew Chi-Chih Yao (CoRR, 2025)