Jason Rute
jasonrute
Former mathematician turned data scientist turned AI researcher. My passion is teaching AI systems to reason, especially in mathematics.
@ibm Greater Boston, MA
Lei Mao
leimao
Artificial Intelligence, Machine Learning, Computer Science.
C++, CUDA, Python, CMake.
@NVIDIA Silicon Valley, California
UeiWang
Student of logic. Contributed code to `htop`. Developed C++ math libraries at Huawei. Polyglot.
Tsinghua University
Deep Learning Systems: Algorithms and Implementation
dlsyscourse
This organization contains the content for CMU's Deep Learning Systems: Algorithms and Implementation course.
Paula Neeley
paulaneeley
Ph.D. student in Logic, Computation, and Methodology at
Carnegie Mellon University
Pittsburgh, PA
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden