Hello!
Welcome to my personal website! Here you can read my Posts or learn more About me.
I'm always looking for opportunities and interesting projects. Please contact me using any of the links below!
Recent Posts
-
I Tried to Build an AI Formalizer for Mathematics
An attempt to turn math papers into Lean proofs, and what happens when you design a framework before understanding the work.