JianAi

AIJian's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper 2 months ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

Paper • 2605.17283 • Published May 17 • 31

upvoted a paper 3 months ago

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

Paper • 2604.10688 • Published Apr 12 • 27

upvoted 3 papers about 1 year ago

Skywork-R1V3 Technical Report

Paper • 2507.06167 • Published Jul 8, 2025 • 75

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

Paper • 2506.19290 • Published Jun 24, 2025 • 53

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

Paper • 2505.24120 • Published May 30, 2025 • 50

upvoted a collection over 1 year ago

CSVQA

Collection

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