🤝 Open to Collab
Vikash Singh
optimusPrimeBee
AI & ML interests
Formal Reasoning, Fine tuning, Redundancy Mitigations
Recent Activity
upvoted a collection 2 days ago
WTF GENIUS PAPERS upvoted a paper 4 days ago
Beyond Solver Verdicts: Generative Reward Models for Autoformalization authored a paper 4 days ago
Beyond Solver Verdicts: Generative Reward Models for AutoformalizationOrganizations
