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