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

2025

1. Introducing Vantage: Towards highly-parallelized autoformalization

2. LeanExplore: The backbone of agentic mathematics

2024

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

2020

1. The brain age project