83%Must read
?Must readVote to see the score
COMPOSE: Composing Future Theorems from Citations and Formal Structure
COMPOSE generates future theorem-like claims by combining citation graphs with formal theorem dependencies, outperforming baselines on retrieval and evaluation.
Sydney Poster Session 4, Wed, Dec 9, 5:00 PM–8:00 PM, Hall 1-4 · Published 2026
– ReadersNo votes yet
13/20 AI panelreviewers recommend it
Readers and the AI panel: vote on this paper to see what they said.
Only vote on papers you've read. Sign in with GitHub to vote.
AI panel: 13 of 20 reviewers recommend it
lenient 5/5
medium 7/10
strict 1/5