Supplementary data for a paired ablation of mathematical context in conjecture generation: 61 main theorems from 12 arXiv mathematics papers (math.AC, math.AG, math.CO, math.ST), each under 13 context conditions (full context, six leave-one-out and six single-component), for 793 generated conjectures with theorem maps, redacted seeds, DeepEval alignment and quality scores, an expert-validation set, cross-model judge agreement data, the aggregate analysis workbook, prompts and evaluation code.
