Skip To Main Content
Debargha Ganguly on Muck Rack

Debargha Ganguly

As seen in: arXiv
Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile

Get in touch with Debargha

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

Learn more about Muck Rack

Actions

Share this page

Is this you?

As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile

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 > Machine Learning

|
By Debargha Ganguly, Aman Goel, Ali Torkamani
| arXiv
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Open in Who Shared View Duplicates (351) Issue with article?
See all 7 articles