Yi Shan
awangaddd
AI & ML interests
None yet
Recent Activity
upvoted a paper about 14 hours ago
Dockerless: Environment-Free Program Verifier for Coding Agents upvoted a paper 12 days ago
OpenComputer: Verifiable Software Worlds for Computer-Use AgentsOrganizations
None yet