Vikash Singh

Vikash Singh on Hugging Face Daily Papers: 6 papers, 0 in the top 3 of their day, 53 upvotes.

1. Beyond Solver Verdicts: Generative Reward Models for Autoformalization 33 upvotes, #10 of 2026-09-11
2. StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean 9 upvotes, #23 of 2026-09-10
3. Overcoming Dynamics-Blindness: Training-Free Pace-and-Path Correction for VLA Models 0 upvotes, #52 of 2026-05-15
4. Trust The Typical 1 upvotes, #45 of 2026-02-05
5. VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning 6 upvotes, #13 of 2026-01-29
6. Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks 3 upvotes, #35 of 2025-06-02

Data: hysts-bot-data/daily-papers-stats and the Daily Papers API. Open data: tardellirs/paper-pulse-data. Sister project: Model Pulse, the download history of every model on the Hub.