🤝 Open to Collab

Vikash Singh

optimusPrimeBee

·

https://vikash-singh.me

AI & ML interests

Formal Reasoning, Fine tuning, Redundancy Mitigations

Recent Activity

upvoted a collection about 20 hours ago

WTF GENIUS PAPERS

upvoted a paper 3 days ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

authored a paper 3 days ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

View all activity

Organizations

liked a dataset 6 days ago

IdanDavidovich/StochBench

Viewer • Updated 6 days ago • 1.07k • 279 • 4

liked a model over 1 year ago

meta-llama/Llama-3.2-90B-Vision

Image-Text-to-Text • 89B • Updated Sep 27, 2024 • 135 • 135