alreadydone
Follow
SphereLab
Sphere-AI-Lab
Scalable Principles for Learning and Reasoning Lab (SphereLab), The Chinese University of Hong Kong
Sidharth Hariharan
thefundamentaltheor3m
PhD student at Carnegie Mellon University | MSci Mathematics graduate from Imperial College London
Carnegie Mellon University Pittsburgh, Pennsylvania, United States
Zhao Yuyang 赵雨扬
astrainfinita
The family name is Zhao.
CUHK-Shenzhen | 香港中文大学（深圳） {Futian, Longgang}, Shenzhen | 深圳{福田, 龙岗}
Darij Grinberg
darijgr
Mathematician (associate professor) at Drexel University.
Drexel University Philadelphia, US / Karlsruhe, DE
High-Performance Computing at the NIH
NIH-HPC
Repositories for tools developed by the NIH HPC staff. These tools are made available here as a courtesy, without any guarantee of support
Bethesda, MD, USA
SII - Generative Artificial Intelligence Research Lab (GAIR)
GAIR-NLP
GAIR is part of SII, focusing on Generative Artificial Intelligence Research, with joint effort from SJTU.
Csaba Schneider
schcs
Professor at the Universidade Federal de Minas Gerais, Belo Horizonte, Brazil
Universidade Federal de Minas Gerais Belo Horizonte
Formalization of mathematics
UofSC-Spring-2023-Math-768-001
Using Lean to prove things.
United States of America
The Macrocosm Consortium
macrocosmcorp
"If you just zoom out far enough, the human race becomes a single organism"
Antarctica
PreviousNext