Зображення обкладинки

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

Збережено в:
Опубліковано в::arXiv.org (Mar 16, 2023), p. n/a
Автор: First, Emily
Інші автори: Rabe, Markus N, Ringer, Talia, Brun, Yuriy
Опубліковано:
Cornell University Library, arXiv.org
Предмети:
Theorems
Verification
Automation
Natural language processing
Context
Searching
Large language models
Онлайн доступ:Citation/Abstract
Full text outside of ProQuest
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!