👋 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 4 months ago

AIJian/PaTaRM-8B

View all activity

Organizations

AIJian 's papers 1

arxiv:2504.05599