JinCheng Ren

JinChengRen

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 12 days ago

ModularRSI: Modular and Generalizable Recursive Harness Self-Improvement

authored a paper 13 days ago

ModularRSI: Modular and Generalizable Recursive Harness Self-Improvement

upvoted a paper 5 months ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

View all activity

Organizations

liked a dataset 7 months ago

PersonalAILab/FINDER

Viewer • Updated Dec 10, 2025 • 100 • 25 • 1

liked 2 datasets over 1 year ago

m-a-p/COIG-P-CRM

Viewer • Updated Apr 9, 2025 • 484k • 38 • 4

m-a-p/COIG-P

Viewer • Updated Apr 15, 2025 • 1.01M • 266 • 30