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