fallcat
Follow
數心
Matheart
CS PhD at UPenn. Previously HKUST CS+MATH. Deep Learning Theory. Content Creator @bilibili.
University of Pennsylvania Philadelphia, PA
Jacob Somer
jacobsomer
Data Center Technician with endless curiosity and willingness to explore beyond the existing boundaries in tech.
Amazon
Caleb Stanford
cdstanford
Assistant professor at UC Davis in programming languages, formal methods, systems.
Davis, California, USA
Yishuai Li
liyishuai
PhD'22 @plclub @DeepSpec; Mentor @SIGPLAN -M; Maintainer @rocq-community @ocaml-community; Editor @Coq-zh; Contributor @rocq-prover.
@PingCAP Shanghai Hongkou
Hongfei Xu
hfxunlp
I get my PhD (summa cum laude) from Saarland University at December 2021, under the supervision of Prof. Dr. Josef van Genabith and Prof. Dr. Deyi Xiong.
Zhengzhou University Zhengzhou, China
爱可可-爱生活
fly51fly
BUPT prof | Sharing latest AI papers & insights | Join me in embracing the AI revolution! #MachineLearning #AI #Innovation
PRIS BeiJing
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
