LANTERN: Illuminating Hidden Mathematical Knowledge in Language Models
LANTERN found 62 verified OEIS sequence relations with no existing cross-reference, including four the authors say are novel.
The pipeline ranks candidate mathematical links from pretrained-model activations, then filters, generates hypotheses, verifies them executably, and checks them analytically. On 50 million pairs from 10,000 frequently referenced OEIS sequences, it narrowed the output to 13 presentable relations. The authors judged nine of those informative or insightful. The full run, including training and verification, took under eight hours. HF Daily Papers' note
The pipeline ranks candidate mathematical links from pretrained-model activations, then filters, generates hypotheses, verifies them executably, and checks them analytically. On 50 million pairs from 10,000 frequently referenced OEIS sequences, it narrowed the output to 13 presentable relations. The authors judged nine of those informative or insightful. The full run, including training and verification, took under eight hours. HF Daily Papers' note
score 5