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