JinCheng Ren's picture

JinCheng Ren

JinChengRen

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 24 days ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

upvoted a collection about 1 month ago

authored a paper about 2 months ago

O-Researcher: An Open Ended Deep Research Model via Multi-Agent Distillation and Agentic RL

View all activity

Organizations

liked a dataset 4 months ago

PersonalAILab/FINDER

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

liked 2 datasets about 1 year ago

m-a-p/COIG-P-CRM

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

m-a-p/COIG-P

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