LANTERN：挖掘语言模型中隐藏的数学知识

LANTERN 是一套快速、低成本的流水线，用预训练模型激活上的分类器对候选关系排序，再经分阶段过滤、假设生成、可执行验证与分析检查。应用于 OEIS 时，它在 10,000 个高频引用序列的 5000 万对组合中排序，并产出 62 项结果。