Skip to content
View yangky11's full-sized avatar

Highlights

  • Pro

Organizations

@lean-dojo

Block or report yangky11

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@FormalGeo
FormalGeo FormalGeo
Formal representation and solving for Euclidean plane geometry problems.
@axiomed
Axiomed axiomed
Lean4 for software engineers.
@penrose
Penrose penrose
Create beautiful diagrams just by typing mathematical notation in plain text.

Carnegie Mellon University

@morph-labs
Morph morph-labs
Building the future of software, for everyone.

United States of America

@IMO-grand-challenge
IMO Grand Challenge IMO-grand-challenge
IMO Grand Challenge for Artificial Intelligence
@SciML
SciML Open Source Scientific Machine Learning SciML
Open source software for scientific machine learning
@cyberglot
april cyberglot
PLT compilers; haskell champion; agda newbie.

Glasgow, UK

@xunkai55
Xunkai xunkai55
AI is all about imagination.

Beijing, China

@thuyangyu
Yang Yu thuyangyu
Graduated in Department of Computer Science and Technology, Tsinghua University. Graduate student in Global Innovation eXchange (GIX) master program.

Tsinghua University Beijing, China

@Newmu
Alec Radford Newmu

@openai San Francisco, CA

@agibsonccc
Adam Gibson agibsonccc
Maintainer: https://deeplearning4j.konduit.ai/ reach out for MLOps.

http://konduit.ai/ Tokyo Japan

@junhyukoh
Junhyuk Oh junhyukoh
Research Scientist at DeepMind

DeepMind London, UK

@zhefan
Zhefan Ye zhefan

University of Michigan, Ann Arbor

@jinyixin621
Yixin Jin jinyixin621
University of Michigan, Ann Arbor
@Kaixhin
Kai Arulkumaran Kaixhin
Researcher, programmer, DJ, transhumanist.

@arayabrain Tokyo

@paulzfm
Paul paulzfm
Coq & Cocktail

Saarland University & CISPA Saarbrücken, Germany

@jiwoongim
Daniel Jiwoong Im jiwoongim

UBET SPORTS New York City

@ydawei
Dawei Yang ydawei
Ph.D. in Computer Science and Engineering

Google LLC Seattle, WA, US

@anewell
Alejandro Newell anewell

Princeton University Princeton, NJ

@chyyuu
chyyuu chyyuu
I'm teaching & researching OS/Compiler in Dept. of Computer Sci. & Tech., Tsinghua Univ.

Tsinghua Unviersity Beijing, China

@colah
Christopher Olah colah
I want to understand things clearly and explain them well. @openai formerly @brain-research.

San Francisco

@karpathy
Andrej karpathy
I like to train Deep Neural Nets on large datasets.

Stanford

@fmassa
Francisco Massa fmassa

Facebook AI Reseach

@szagoruyko
Sergey Zagoruyko szagoruyko
AI Researcher, ex-Facebook, ex-Lyft

MTS AI

@vedaldi
Andrea Vedaldi vedaldi

University of Oxford United Kingdom

@Yangqing
Yangqing Jia Yangqing
Startup. Former VP @alibaba. Ex-@facebook @google @BVLC. Created Caffe, @caffe2, @onnx. Co-led @pytorch 1.0. @tensorflow contributor. @ucberkeley alumni.

@leptonai Berkeley

@soumith
Soumith Chintala soumith
/\︿╱\ _____________________________ \0_ 0 /╱\╱________________________ \▁︹_/

Meta New York, USA