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 infrastructure for the singularity

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
Darren Yang thuyangyu
Graduated in Department of Computer Science and Technology, Tsinghua University. Graduate student in Global Innovation eXchange (GIX) master program.

Tsinghua University Seattle, WA

@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.

@SakanaAI Tokyo

@paulzfm
Paul paulzfm
Coq & Cocktail

Saarland University & CISPA Saarbrücken, Germany

@jiwoongim
Daniel Jiwoong Im jiwoongim

Belief.Market New York City

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

Google LLC Seattle, WA, US

@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. Interpretability at Anthropic. Formerly OpenAI, Google Brain.

Anthropic 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

@shrubb
Egor Burkov shrubb

Tashkent, Uzbekistan

@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