Michael Werman
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
NLP×1
Frequent co-authors
Research Timeline
2026
COMPOSE: Composing Future Theorems from Citations and Formal Structure
The paper introduces COMPOSE, a dual-graph framework that generates plausible future mathematical theorems by simultaneously conditioning a language model on both the scientific citation context and the formal theorem dependency structure of existing work.
Highlighted terms show continued research focus across papers