technique
grounded future mathematical generation
techniqueactiveprovisional
grounded-future-mathematical-generation-3ee30f3a·1 events·first seen 19d agoAliases: grounded future mathematical generation
Co-occurring entities
More like this (12)
Future Probe Controlled Generationgenerative modelsFlood and Harvest: The Provable Necessity of Trivia for Generating Valuable Mathematics via the Lens of Language Generation in the Limitgenerative AImathematical reasoningcounterfactual chart generationreferential groundingcausal generative modelingtask-conditioned generationFutureBenchFrontierMathcounterfactual text generation
Recent events (1)
COMPOSE: Dual-Graph Framework for Generating Future Mathematical Theorems from Citations and Formal Structure
COMPOSE is a framework that generates plausible future mathematical theorem-like claims by conditioning a language model on both a scientific citation graph and a formal theorem dependency graph simultaneously. The authors construct a dataset of 108K paired scientific-formal graph examples from arXiv and Mathlib, plus a benchmark of 47K future papers from 2024–2025. Experiments show COMPOSE outperforms baselines on retrieval to real future papers and LLM-judge evaluation, producing more grounded and mathematically richer outputs. The work advances AI-assisted mathematical reasoning by combining informal scientific context with formal proof structure.