leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Jiatao Gu
MultiPath
I am Machine Learning Researcher interested in Natural Language Processing, Generative Models and Deep Learning.
Apple New York
Soumith Chintala
soumith
/\︿╱\ _____________________________
\0_ 0 /╱\╱________________________
\▁︹_/
Meta New York, USA
Lei Mao
leimao
Artificial Intelligence, Machine Learning, Computer Science.
C++, CUDA, Python, CMake.
@facebook Silicon Valley, California
Elliot Waite
elliotwaite
Building AI automation software at
@astra-ai. Previously: Google
@astra-ai Ubud, Bali
Kazim Raza
kazzastic
Masters student at University of Passau, AI Engineering Program
Passau, Germany
Natural Language Processing with Transformers
nlp-with-transformers
Notebooks and materials for the O'Reilly book "Natural Language Processing with Transformers"
Jacky Kong
jackykongfz
Bachelor's Degree in Harbin Institute of Technology (HIT).
Ph.D. Candidate in MaRS Lab @hku-mars , Department of Mechanical Engineering, HKU.
Hong Kong
XuHao
xuhao1
PhD student @ HKUST.UAV
http://www.xuhao1.me
Check my swarm projects on https://github.com/HKUST-Swarm
HKUST Hongkong, China
Pierre
pnprog
French engineer living in China, hobbyist programmer, and passionate about the game of Go.
China, SuZhou
Noriyuki Shinpuku
puku0x
Software developer @Findy, ng-fukuoka organizer, FEC-Fukuoka member, Ph.D. in Engineering.
Findy Inc. Fukuoka, Japan
Rajendra Singh
iamrajee
Open-Source Enthusiast||
Robotics-Researcher ||
Python | C++ | ROS
IIT || US Technology || Siemens India
PreviousNext