🤝 Open to Collab
Vikash Singh
optimusPrimeBee
AI & ML interests
Formal Verification, Machine Learning
Recent Activity
liked a model 11 days ago
deepseek-ai/DeepSeek-V4.1-Flash upvoted a collection 18 days ago
WTF GENIUS PAPERS upvoted a paper 20 days ago
Beyond Solver Verdicts: Generative Reward Models for AutoformalizationOrganizations
