LANTERN: Illuminating Hidden Mathematical Knowledge in Language Models

Les auteurs développent LANTERN, un pipeline rapide et économique qui classe des relations mathématiques candidates à l'aide d'un classificateur appliqué aux activations de modèles pré-entraînés, suivi d'un filtrage étagé, de la génération d'hypothèses, d'une vérification exécutable et d'un contrôle analytique. Appliqué à l'On-Line Encyclopedia of Integer Sequences (OEIS), LANTERN a classé 50 millions de paires parmi 10 000 séquences et a produit 62 relations vérifiées sans référence croisée existante. Un filtrage a retenu 13 relations perspicaces, dont 4 entièrement novatrices. L'ensemble du processus s'est déroulé en moins de 8 heures.

LANTERN a classé 50 millions de paires parmi 10 000 séquences fréquemment référencées de l'On-Line Encyclopedia of Integer Sequences (OEIS).

Le pipeline a produit 62 relations vérifiées entre des paires ne disposant d'aucune référence croisée existante dans l'OEIS.

L'ensemble du processus de bout en bout a pris moins de 8 heures.