zhouxiao

Shawzhou

·

AI & ML interests

None yet

Recent Activity

upvoted a paper about 1 month ago

Dockerless: Environment-Free Program Verifier for Coding Agents

upvoted a paper about 1 month ago

Orca: The World is in Your Mind

upvoted a paper about 1 year ago

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

View all activity

Organizations

None yet

Shawzhou 's models

None public yet