arxiv:2609.14857
JinCheng Ren
JinChengRen
AI & ML interests
None yet
Recent Activity
authored a paper about 10 hours ago
ModularRSI: Modular and Generalizable Recursive Harness Self-Improvement upvoted a paper about 12 hours ago
ModularRSI: Modular and Generalizable Recursive Harness Self-Improvement upvoted a paper 4 months ago
OProver: A Unified Framework for Agentic Formal Theorem ProvingOrganizations
models 0
None public yet
datasets 0
None public yet