Jiajun Shi

muyouzhi

13

·

AI & ML interests

None yet

Recent Activity

upvoted a paper about 1 month ago

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

upvoted a paper 2 months ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

upvoted a paper 4 months ago

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

View all activity

Organizations

muyouzhi 's models

None public yet