Jiajun Shi

muyouzhi

13

·

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

muyouzhi 's models

None public yet