Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen
Kyle-Zhang
Haokai-Zhang
Tensor networks, condensed matter physics, and quantum information.
Tsinghua University
2prime
2prime
I am a math undergraduate at Peking University working on mathematics view of machine learning/image processing. I will join Stanford ICME as a PHD student 2019
Peking University,School of Mathmatical Science Peking
Keyu Tian
keyu-tian
Master's student @ pku, self-supervised learning & generative models &
reinforcement learning
Peking University Lyoko
Antonin RAFFIN
araffin
Research Engineer in Robotics and Machine Learning, with a focus on Reinforcement Learning.
@DLR-RM Munich
Xu-Vision-Group
danxuhk
A Computer Vision and Multimedia research group led by Prof. Dan Xu in the CSE Department at HKUST.
CSE, HKUST Clear Water Bay, Kowloon, Hong Kong
Suyuchen Wang
sheryc
PhD candidate at Mila / UdeM. LMs are my long-term memory
(=・ω・=)
Mila - Quebec AI Institute / Université de Montréal Montréal, Québec, Canada
Dingyuan SHI
dingyuan-shi
Ph.D candidate at Beihang University
SCSE, Beihang University Haidian District, Beijing, China
Lu Han
feuyeux
10x programmers in Microservices, Cloud Native, Big Data, Artificial Intelligence.
Beijing,China