JianAi's picture

Open to Work

6

JianAi

AIJian

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 3 days ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

upvoted a paper about 1 month ago

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

updated a model about 2 months ago

AIJian/PaTaRM-8B

View all activity

Organizations

upvoted a paper 3 days ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

Paper • 2605.17283 • Published 5 days ago • 30

upvoted a paper about 1 month ago

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

Paper • 2604.10688 • Published Apr 12 • 26

upvoted 2 papers 11 months ago

Skywork-R1V3 Technical Report

Paper • 2507.06167 • Published Jul 8, 2025 • 74

Skywork-SWE: Unveiling Data Scaling Laws for Software Engineering in LLMs

Paper • 2506.19290 • Published Jun 24, 2025 • 53

upvoted a paper 12 months ago

CSVQA: A Chinese Multimodal Benchmark for Evaluating STEM Reasoning Capabilities of VLMs

Paper • 2505.24120 • Published May 30, 2025 • 50

upvoted a collection about 1 year ago

CSVQA

A Chinese Multimodal Benchmark for Evaluating STEM Reasoning Capabilities of VLMs • 2 items • Updated Aug 13, 2025 • 6