I am a mathematician working on building mathematical artifical intelligence
Email: justinchadwickasher@gmail.com
GitHub: github.com/justincasher
LinkedIn: linkedin.com/in/justin-asher
Selected recent work
The need for an autoformalizer (2024)
Abstract. I argue that the creation of an autoformalizer—a machine that can verify mathematics—would have monumental benefits for both academic research and industrial applications. I then discuss how one could be created.
Modeling Catan through self-play (2024)
Abstract. I taught a neural network how to play the board game Catan using supervised learning via self-play. The resulting model achieved an intermediate level of play.
Infinity categories (2024)
Abstract. In this note, we answer the question "What is an infinity category?", explaining the definition in terms of simplicial categories, ordinary category theory, and homotopy theory.
The Ramanujan conjecture (2023)
Abstract. We discuss some of the main tools used by Deligne in proving the Ramanujan conjecture. These are notes from a talk, so I do not include most proofs.
© 2024 • Justin Asher