3 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LG2023★ 2 cited
Baldur: Whole-Proof Generation and Repair with Large Language Models
Emily First, Markus N. Rabe, Talia Ringer +1
Formally verifying software properties is a highly desirable but labor-intensive task. Recent work has developed methods to automate formal verification using proof assistants, suc…
cs.LG2022★ 3 cited
Enforcing Delayed-Impact Fairness Guarantees
Aline Weber, Blossom Metevier, Yuriy Brun +2
Recent research has shown that seemingly fair machine learning models, when used to inform decisions that have an impact on peoples' lives or well-being (e.g., applications involvi…