Notabletheory

COMPOSE: Composing Future Theorems from Citations and Formal Structure

arXiv:2605.30333Papers with Code →

David Busbib, Michael Werman

Published
May 28, 2026 — 17:58 UTC
Turing Wire

By Callan Zhang · May 28, 2026 · Editorial standards →

Summarised from the primary source with AI assistance under human editorial oversight. Turing Wire is not a primary source — read the original for the authoritative account.

Source: arXiv cs.CL