Zulip Chat Archive

Stream: Machine Learning for Theorem Proving

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


Tyler Josephson ⚛️ (Mar 10 2023 at 20:47):

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

Albert Jiang (Mar 10 2023 at 22:53):

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 (Mar 10 2023 at 22:56):

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

Kevin Lacker (Mar 10 2023 at 23:48):

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 (Mar 10 2023 at 23:49):

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


Last updated: Dec 20 2023 at 11:08 UTC