https://bolzano.app/problem/ade3d456-8788-4d11-b55f-926644ddbc42/files?file_id=d056ac12-6ef7-496a-a790-eba9105816bb, 2026

Bolzano transcript: Interleaving, W ilber's first bound · 2026

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

cs.CL · 2026-04-18 · unverdicted · novelty 5.0

A multi-agent LLM system autonomously produced publishable results on five out of eight mathematical and theoretical computer science problems.

Showing 1 of 1 citing paper.

Bolzano: Case Studies in LLM-Assisted Mathematical Research cs.CL · 2026-04-18 · unverdicted · none · ref 20
A multi-agent LLM system autonomously produced publishable results on five out of eight mathematical and theoretical computer science problems.