Jiajun Shi

muyouzhi

AI & ML interests

None yet

Recent Activity

upvoted a paper 12 days ago

LoopCoder-v2: Only Loop Once for Efficient Test-Time Computation Scaling

upvoted a paper about 1 month ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

upvoted a paper 3 months ago

InCoder-32B-Thinking: Industrial Code World Model for Thinking

View all activity

Organizations

upvoted a paper 12 days ago

LoopCoder-v2: Only Loop Once for Efficient Test-Time Computation Scaling

Paper • 2606.18023 • Published 14 days ago • 207

upvoted a paper about 1 month ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

Paper • 2605.17283 • Published May 17 • 31

upvoted 2 papers 3 months ago

InCoder-32B-Thinking: Industrial Code World Model for Thinking

Paper • 2604.03144 • Published Apr 3 • 239

InCoder-32B: Code Foundation Model for Industrial Scenarios

Paper • 2603.16790 • Published Mar 17 • 312

upvoted a paper 6 months ago

UCoder: Unsupervised Code Generation by Internal Probing of Large Language Models

Paper • 2512.17385 • Published Dec 19, 2025 • 20

upvoted 2 papers 7 months ago

How Far Are We from Genuinely Useful Deep Research Agents?

Paper • 2512.01948 • Published Dec 1, 2025 • 58

From Code Foundation Models to Agents and Applications: A Practical Guide to Code Intelligence

Paper • 2511.18538 • Published Nov 23, 2025 • 306

upvoted a paper 8 months ago

Video-Thinker: Sparking "Thinking with Videos" via Reinforcement Learning

Paper • 2510.23473 • Published Oct 27, 2025 • 87

upvoted 2 papers 10 months ago

UI-TARS-2 Technical Report: Advancing GUI Agent with Multi-Turn Reinforcement Learning

Paper • 2509.02544 • Published Sep 2, 2025 • 128

FutureX: An Advanced Live Benchmark for LLM Agents in Future Prediction

Paper • 2508.11987 • Published Aug 16, 2025 • 73

updated a dataset about 1 year ago

muyouzhi/test

Preview • Updated May 27, 2025 • 5

published a dataset about 1 year ago