Xiaodie Wang

According to our database, Xiaodie Wang authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

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, July, 2025

Exploring the Impact of Artificial Intelligence on University Students' Perception of Slow Employment: A Psychological and Behavioral Analysis.

Peng Yang, Xiaodie Wang, Jing Zhang, Sharmin Kutty Sivaraman, Pu Song

Int. J. Interact. Mob. Technol., 2025

2023

Optimal Information Acquisition and Sharing Decisions: Joint Reviews on Crowdsourcing Product Design.

Jizi Li, Xiaodie Wang, Justin Z. Zhang, Longyu Li

J. Database Manag., November, 2023