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