research
∙
05/24/2023
Can Transformers Learn to Solve Problems Recursively?
Neural networks have in recent years shown promise for helping software ...
share
research
∙
03/08/2023
Baldur: Whole-Proof Generation and Repair with Large Language Models
Formally verifying software properties is a highly desirable but labor-i...
research
∙
08/06/2022
Long-Term Mentoring for Computer Science Researchers
Early in the pandemic, we – leaders in the research areas of programming...
research
∙
04/21/2022
Passport: Improving Automated Formal Verification Using Identifiers
Formally verifying system properties is one of the most effective ways o...
research
∙
10/02/2020
Proof Repair Across Type Equivalences
We describe a new approach to automatically repairing broken proofs in t...
research
∙
03/13/2020