arxiv:2609.11085
🤝 Open to Collab
Vikash Singh
optimusPrimeBee
AI & ML interests
Formal Reasoning, Fine tuning, Redundancy Mitigations
Recent Activity
upvoted a paper 1 day ago
Beyond Solver Verdicts: Generative Reward Models for Autoformalization authored a paper 1 day ago
Beyond Solver Verdicts: Generative Reward Models for Autoformalization authored a paper 1 day ago
StochBench: A Domain-Specific Benchmark for Stochastic Processes in LeanOrganizations
models 0
None public yet
datasets 0
None public yet