🤝 Open to Collab
Vikash Singh
optimusPrimeBee
AI & ML interests
Formal Verification, Machine Learning
Recent Activity
authored a paper 1 day ago
Scaling Lean Theorem Proving for Real-World Code Verification upvoted a paper 1 day ago
Scaling Lean Theorem Proving for Real-World Code Verification liked a model about 1 month ago
deepseek-ai/DeepSeek-V4.1-FlashOrganizations
