Sage Mathematical Software System
sagemath
Earth, Solar System, Milky Way Galaxy, Local Group, Virgo Supercluster, Universe
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Pietro Monticone
pitmonticone
Informal Mathematics @unitrento || Formal Mathematics at @harmonic-ai || Formalising in @leanprover || Developing in @JuliaLang and @python.
University of Trento Trento, Italy
THUKEG
THUDM
ChatGLM, GLM-4, CogVLM, CodeGeeX, CogView, ImageReward, CogVideoX | CogDL, GraphMAE, AMiner | Zhipu.ai (Z.ai) & Knowledge Engineering Group (KEG)
FIT Building, Tsinghua University
Princeton-AI
Gen-Verse
Open-source research from Princeton AI Lab, led by Ling Yang and Mengdi Wang
alimama-creative
alimama-creative
Alimama Smart Creative and AI Application Team. Focus on intelligent production of images, videos and copy across Alimama's business lines.
China
Corleone-Huang
Corleone-Huang
Research Interest:
Multimodal learning, Image generation & Vision transformer
Univeristy of Science and Technology of China
Fei Shen
muzishen
Sharing🌱, Collaborating🤝, Advancing🚀, and Innovating💡
National University of Singapore Singapore
PreviousNext