Suzuka Yu
Yu-Misaka
Graduate in Mathematics. Interested in algebra, formalized mathematics and mathematical philosophy.
National University of Singapore
Zaiwen Wen
optsuite
Zaiwen Wen is a Professor at Peking University. His research interests include optimization algorithms and theory and their applications in machine learning.
Peking University Beijing, China
Zhao Yuyang 赵雨扬
astrainfinita
The family name is Zhao.
CUHK-Shenzhen | 香港中文大学（深圳） {Futian, Longgang}, Shenzhen | 深圳{福田, 龙岗}
Pietro Monticone
pitmonticone
AI for Mathematics @harmonic-ai || Formalising Mathematics and Software in @leanprover || Developing FOSS in @leanprover, @JuliaLang and @python.
Harmonic Italy, United Kingdom, United States
Math, Inc.
math-inc
A new company dedicated to autoformalization and the creation of verified superintelligence.
United States of America
Paul Lezeau
Paul-Lez
PhD student @ LSGNT (Imperial College, joint with King's College London and University College London)
Flood Sung
floodsung
Focus on AGI, Deep Reinforcement Learning, Meta Learning, Robot Learning, Physics-based Animation
xvirobotics.com
Junyan Xu
alreadydone
Postdoc in math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Universität Heidelberg Heidelberg / Shenzhen
Junxian He
jxhe
Assistant Professor@HKUST. PhD@CMU LTI. Working on NLP/ML.
The Hong Kong University of Science and Technology
PreviousNext