Cheng Ren

1. Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
   2025/07/31 by Luoxin Chen, Chen, Luoxin, Jinming Gu +69 · 2 voices · 33 citations
   #cs.AI #cs.CL
2. Human-AI Collaboration Increases Skill Tagging Speed but Degrades Accuracy
   2024/03/04 by Cheng Ren, Zachary A. Pardos, Ren, Cheng +3 · 1 citation
   Medicine · #Artificial Intelligence in Healthcare and Education