3 papers
cs.AI2025
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…
cs.CY2025
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…
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…