Abdulquawiyy Adisa Owolabi
abdulquawiyy-owolabi
Obafemi Awolowo University, Ile-Ife, Nigeria Ile-Ife, Nigeria
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen
Ian Cecil Mawuli Akoto
ianakoto
Machine Learning Engineer | Software Developer | Unleashing Data's Potential
Ghana