Cobblestone: Iterative Automation for Formal Verification

Salvato in:

Dettagli Bibliografici
Pubblicato in:	arXiv.org (Oct 25, 2024), p. n/a
Autore principale:	Saketh Ram Kasibatla
Altri autori:	Agarwal, Arpan, Brun, Yuriy, Lerner, Sorin, Ringer, Talia, First, Emily
Pubblicazione:	Cornell University Library, arXiv.org
Soggetti:	Theorems Verification Large language models Automation Machine learning Theorem proving Synthesis Software
Accesso online:	Citation/Abstract Full text outside of ProQuest
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!