1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2025
Proving the Coding Interview: A Benchmark for Formally Verified Code Generation
Quinn Dougherty, Ronak Mehta
We introduce the Formally Verified Automated Programming Progress Standards, or FVAPPS, a benchmark of 4715 samples for writing programs and proving their correctness, the largest…
stat.ML2020★ 1 cited
A partition-based similarity for classification distributions
Hayden S. Helm, Ronak D. Mehta, Brandon Duderstadt +5
Herein we define a measure of similarity between classification distributions that is both principled from the perspective of statistical pattern recognition and useful from the pe…