Hey everyone :)! I’m a grad student at Caltech working on AI for mathematics. I’ve worked on projects including TorchLean, leandojo, and help lead the labs effort on it.
Excited to connect, share my work, and learn from everyone here!
#Introduction #lean #ai #math