Bolzano: Case Studies in LLM-Assisted Mathematical Research

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	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
Published:	2026
Subjects:	Computation and Language Artificial Intelligence Machine Learning Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2604.16989