9 citations · 20 across the 7 of their papers we have counts for
7 papers
What do Large Language Models Say About Animals? Investigating Risks of Animal Harm in Generated Text
Arturs Kanepajs, Aditi Basu, Sankalpa Ghose +7
As machine learning systems become increasingly embedded in society, their impact on human and nonhuman life continues to escalate. Technical evaluations have addressed a variety o…
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…
Towards a theory of out-of-distribution learning
Jayanta Dey, Ali Geisa, Ronak Mehta +7
Learning is a process wherein a learning agent enhances its performance through exposure of experience or data. Throughout this journey, the agent may encounter diverse learning en…
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…
Simple Lifelong Learning Machines
Jayanta Dey, Joshua T. Vogelstein, Hayden S. Helm +13
In lifelong learning, data are used to improve performance not only on the present task, but also on past and future (unencountered) tasks. While typical transfer learning algorith…
hyppo: A Multivariate Hypothesis Testing Python Package
Sambit Panda, Satish Palaniappan, Junhao Xiong +4
We introduce hyppo, a unified library for performing multivariate hypothesis testing, including independence, two-sample, and k-sample testing. While many multivariate independence…
Random Forests for Adaptive Nearest Neighbor Estimation of Information-Theoretic Quantities
Ronan Perry, Ronak Mehta, Richard Guo +6
Information-theoretic quantities, such as conditional entropy and mutual information, are critical data summaries for quantifying uncertainty. Current widely used approaches for co…