👋 Open to Work

JianAi

AIJian

6

·

AI & ML interests

None yet

Recent Activity

upvoted a paper about 2 months ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

upvoted a paper 3 months ago

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

updated a model 3 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 • 5 • 1

AIJian/PaTaRM-14B

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

AIJian/PaTaRM

Updated Apr 1 • 1

datasets 1

AIJian/PaTaRM-data

Preview • Updated Apr 1 • 14 • 1