Picture for Emily First

Emily First

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

Apr 10, 2024
Viaarxiv icon

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

Mar 16, 2023
Figure 1 for Baldur: Whole-Proof Generation and Repair with Large Language Models
Figure 2 for Baldur: Whole-Proof Generation and Repair with Large Language Models
Figure 3 for Baldur: Whole-Proof Generation and Repair with Large Language Models
Figure 4 for Baldur: Whole-Proof Generation and Repair with Large Language Models
Viaarxiv icon