arxiv:2609.11085
🤝 Open to Collab
Vikash Singh
optimusPrimeBee
AI & ML interests
Formal Verification, Machine Learning
Recent Activity
upvoted a collection 3 days ago
WTF GENIUS PAPERS upvoted a paper 5 days ago
Beyond Solver Verdicts: Generative Reward Models for Autoformalization authored a paper 5 days ago
Beyond Solver Verdicts: Generative Reward Models for AutoformalizationOrganizations
models 0
None public yet
datasets 0
None public yet