Discovering a Zeta Map Algorithm on Dyck Paths via Mechanistic Interpretability

En 3 lignesChercheurs entraînent un petit transformer encoder-decoder sur la zeta map (bijection classique des nombres q,t-Catalan). Via mechanistic interpretability (cross-attention, linear probing, causal intervention), ils découvrent un mécanisme basé sur les niveaux des chemins de Dyck. Traduction en algorithme explicite (scaffolding map) prouvé équivalent à la zeta map.

Résumé généré par Claude — vérifié par l'humain