Tag
This paper trains a small one-layer encoder-decoder transformer on the zeta map bijection for Dyck paths and uses mechanistic interpretability to extract a new explicit algorithm called the scaffolding map, demonstrating an AI-assisted approach to mathematical discovery.