TY  - RPRT
TI  - Bolzano: Case Studies in LLM-Assisted Mathematical Research
AU  - Martin Balko
AU  - Jan Grebík
AU  - Pavel Hubáček
AU  - Martin Koutecký
AU  - Matěj Kripner
AU  - Václav Rozhoň
AU  - Robert Šámal
AU  - Adrián Zámečník
PY  - 2026
UR  - https://arxiv.org/abs/2604.16989
ID  - 2604.16989
ER  -