arxiv:2604.19572
JinCheng Ren
JinChengRen
AI & ML interests
None yet
Recent Activity
upvoted a paper 12 days ago
OProver: A Unified Framework for Agentic Formal Theorem Proving upvoted a collection 27 days ago
Code authored a paper about 1 month ago
O-Researcher: An Open Ended Deep Research Model via Multi-Agent Distillation and Agentic RLOrganizations
models 0
None public yet
datasets 0
None public yet