Bolzano: Case Studies in LLM-Assisted Mathematical Research Paper • 2604.16989 • Published Apr 24 • 1