🤝 Open to Collab
Vikash Singh
optimusPrimeBee
AI & ML interests
Formal Reasoning, Fine tuning, Redundancy Mitigations
Recent Activity
upvoted a paper about 10 hours ago
StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean liked a dataset 2 days ago
IdanDavidovich/StochBench commentedon a paper 7 months ago
VERGE: Formal Refinement and Guidance Engine for Verifiable LLM ReasoningOrganizations
