Bolzano: Case Studies in LLM-Assisted Mathematical Research. - Martin Balko; Jan Grebík; Pavel Hubácek; Martin Koutecký; Matej Kripner; Václav Rozhon; Robert Sámal; Adrián Zámecník (CoRR, 2026)