Skip To Main Content
VIKASH SINGH on Muck Rack

VIKASH SINGH

As seen in: Medium, Nature, Wiley Online Library, arXiv, PLOS ONE, Frontiers, MDPI, SAGE Publishing, Cointelegraph, Journal of Sensors and

Get in touch with VIKASH

Contact VIKASH, search articles and posts on X, monitor coverage, and track replies from one place.

Learn more about Muck Rack

Actions

Share this page

Articles

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

|
By VIKASH SINGH, Debargha Ganguly, Aman Goel
| huggingface.co
Published on Sep 10 · Submitted by Vikash Singh on Sep 11 · Amazon Web Services Abstract Neurosymbolic reasoning is vulnerable to incorrect but verdict-matching formal translations, which are addressed by a generative verification method that scores reference equivalence without an oracle and improves downstream accuracy.
Open in Who Shared Issue with article?

StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean

|
By Debargha Ganguly, VIKASH SINGH, Idan Davidovich
| huggingface.co
Published on Sep 8 · Submitted by Debargha Ganguly on Sep 10 Abstract StochBench introduces 450 graduate-level stochastic processes problems in Lean 4 to benchmark formal theorem proving on domain-specific applied mathematics. Leading benchmarks for formal theorem proving with large language models are small collections drawn from competition math, such as the IMO and Putnam, that poorly represent field-specific applications.
Open in Who Shared Issue with article?

Computer Science > Computation and Language

|
By Debargha Ganguly, VIKASH SINGH, Vipin Chaudhary
| arXiv
Leading benchmarks for formal theorem proving with large language models are small collections drawn from competition math, such as the IMO and Putnam, that poorly represent field-specific applications. We introduce StochBench, a Lean 4 benchmark of 450 graduate stochastic-processes problems at varying abstraction levels, each paired with its natural-language source.
Open in Who Shared Issue with article?
See all 189 licensed articles (191 Total)