Buchumschlag

Bolzano: Case Studies in LLM-Assisted Mathematical Research

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Balko, Martin, Grebík, Jan, Hubáček, Pavel, Koutecký, Martin, Kripner, Matěj, Rozhoň, Václav, Šámal, Robert, Zámečník, Adrián
Format: Preprint
Veröffentlicht: 2026
Schlagworte:
Computation and Language
Artificial Intelligence
Machine Learning
Logic in Computer Science
Online-Zugang:
Acceder al recurso
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Schreiben Sie den ersten Kommentar!
Bitte loggen Sie sich zuerst ein

Ähnliche Einträge