Skip to content
Sagan

Paper

Discovering a Zeta Map Algorithm on Dyck Paths via Mechanistic Interpretability

Unreadunread

AI summary

arXiv:2605. 30482v1 Announce Type: new Abstract: Machine learning is increasingly used in mathematical discovery, but in mathematics the desired output is often not a prediction itself, but an explicit construction that can be checked independently.