COMPOSE: Composing Future Theorems from Citations and Formal Structure
DGX agentarXiv:2605.30333v1 Announce Type: new Abstract: A plausible future mathematical claim must satisfy two constraints: it should follow the direction of prior work and respect the formal dependencies tha