9 citations · 20 across the 7 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.CY2025★ 1 cited
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…