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. Incoming Ph.D. student. 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
Ph.D. candidate @mila-iqia, Visiting Researcher @ServiceNow. LMs are my long-term memory
(=・ω・=)
Mila - Quebec AI Institute / Université de Montréal Montréal, Québec, Canada
dingyuan
dingyuan-shi
Ph.D candidate @ Beihang University
SCSE, Beihang University Haidian District, Beijing, China
Lu Han
feuyeux
10x programmers in Microservices, Cloud Native, Big Data, Artificial Intelligence.
Beijing,China