🤝 Open to Collab

Vikash Singh

optimusPrimeBee

·

https://vikash-singh.me

AI & ML interests

Formal Verification, Machine Learning

Recent Activity

liked a model 4 days ago

deepseek-ai/DeepSeek-V4.1-Flash

upvoted a collection 11 days ago

WTF GENIUS PAPERS

upvoted a paper 13 days ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

View all activity

Organizations

Papers 9

arxiv:2609.11085

arxiv:2609.09264

arxiv:2608.04001

arxiv:2605.11459

models 0

None public yet

datasets 0

None public yet