JianAi's picture

Open to Work

6

JianAi

AIJian

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 26 days ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

upvoted a paper 2 months ago

SCOPE: Signal-Calibrated On-Policy Distillation Enhancement with Dual-Path Adaptive Weighting

updated a model 2 months ago

AIJian/PaTaRM-8B

View all activity

Organizations

Collections 1

Papers 1

arxiv:2504.05599

models 3

AIJian/PaTaRM-8B

Text Generation • 0.5B • Updated Apr 2 • 6 • 1

AIJian/PaTaRM-14B

Text Generation • 0.5B • Updated Apr 1 • 5 • 1

AIJian/PaTaRM

Updated Apr 1 • 1

datasets 1

AIJian/PaTaRM-data

Preview • Updated Apr 1 • 53 • 1