OpenDataLab
opendatalab
OpenDataLab provides access to numerous significant open-source datasets.
China
Jay Alammar
jalammar
ML Research Engineer. Focused on NLP language models and visualization. @cohere-ai. Ex ML content dev @ Udacity.
@cohere-ai
Zonghan Yang
minicheshire
PhD in Tsinghua University, studying agents that automate tasks ranging from daily activities to creative endeavors. Two drifters with the world to see.
@THUNLP-MT @AgentForceTeamOfficial Beijing
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover