Picture for Emily First

Emily First

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification

Add code
Dec 18, 2024
Viaarxiv icon

Cobblestone: Iterative Automation for Formal Verification

Add code
Oct 25, 2024
Viaarxiv icon

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving

Add code
Apr 10, 2024
Viaarxiv icon

Baldur: Whole-Proof Generation and Repair with Large Language Models

Add code
Mar 16, 2023
Viaarxiv icon