Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Pages

Posts

Gram-Schmidt Orthonormal Model

3 minute read

Published:

This blog explores a semi-supervised approach to binary classification for topic modeling. The primary advantage of this approach is the reduced need for large labeled datasets, addressing a key limitation in supervised learning for natural language processing (NLP): achieving strong performance with minimal labeled data.

portfolio

publications

Formalizing Mathematics at Scale

Published in arXiv, 2026

We introduce ATLAS, a Lean 4 library of textbook mathematics autoformalized by LLMs, spanning 26 books across analysis, algebra, geometry, topology, and more.

Download here

talks

teaching

Teaching experience 1

Teaching assistant in mathematics, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post.