Baldur: Whole-Proof Generation and Repair with Large Lang...

Stream: Machine Learning for Theorem Proving

[Tyler Josephson ⚛️]

New paper: Baldur: Whole-Proof Generation and Repair with Large Language Models
https://arxiv.org/abs/2303.04910

[Albert Jiang]

Tyler Josephson ⚛️ said:

New paper: Baldur: Whole-Proof Generation and Repair with Large Language Models
https://arxiv.org/abs/2303.04910

Maybe start a new topic for this paper? :)

[Notification Bot]

2 messages were moved here from #Machine Learning for Theorem Proving > New paper: Magnushammer by Jason Rute.

[Kevin Lacker]

where is the "PISA" dataset? the paper refers to Jiang 2021 but that paper doesn't seem to mention the word "PISA" at all

[Kevin Lacker]

ok, I found it at https://github.com/albertqjiang/Portal-to-ISAbelle