This page showcases AI articles and projects I have completed or am currently working on.

2024

1. The need for an autoformalizer
2. Modeling Catan through self-play

2020

1. The brain age project