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

CoqPyt: Proof Navigation in Python in the Era of LLMs

Збережено в:
Опубліковано в::arXiv.org (May 7, 2024), p. n/a
Автор: Carrott, Pedro
Інші автори: Saavedra, Nuno, Thompson, Kyle, Lerner, Sorin, Ferreira, João F, First, Emily
Опубліковано:
Cornell University Library, arXiv.org
Предмети:
Data collection
Tools
Онлайн доступ:Citation/Abstract
Full text outside of ProQuest
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!