Syed Mujtaba
mujtaba1747
Email: syjafri@ucsd.edu
Researcher @CAIDA | GSoC '24 @ SPCL | ex-SDE-II @trilogy-group San Diego, California
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen