AI predicts future math theorems using citation and proof structure

Original: COMPOSE: Composing Future Theorems from Citations and Formal Structure

Source: arxiv.org ↗