COMPOSE: Composing Future Theorems from Citations and Formal Structure 事件

COMPOSE: Composing Future Theorems from Citations and Formal Structure arXiv: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 that constrain what can validly follow. Existing approaches typically model only one of these sources, producing claims that are either weakly grounded or insufficiently motivated. We introduce grounded future mathematical generati