Posts

All the articles I've posted.

• I Tried to Build an AI Formalizer for Mathematics

  4 Sep, 2026

  An attempt to turn math papers into Lean proofs, and what happens when you design a framework before understanding the work.