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

Bibliografiset tiedot

Julkaisussa:	arXiv.org (Mar 16, 2023), p. n/a
Päätekijä:	First, Emily
Muut tekijät:	Rabe, Markus N, Ringer, Talia, Brun, Yuriy
Julkaistu:	Cornell University Library, arXiv.org
Aiheet:	Theorems Verification Automation Natural language processing Context Searching Large language models
Linkit:	Citation/Abstract Full text outside of ProQuest
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!