Pietro Monticone
pitmonticone
Informal Mathematics @unitrento || Formal Mathematics at Harmonic || Formalising in @leanprover || Developing in @JuliaLang and @python.
University of Trento Trento, Italy
Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London
Imperial College London
ImperialCollegeLondon
Imperial College London main code repository
United Kingdom
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Aston Zhang
astonzhang
Building large language models on the Llama Team at Meta Generative AI
Meta Menlo Park
Peiyang Song
Peiyang-Song
CS Undergrad w/ Robotics minor @ Caltech. AI Researcher @ UC Berkeley & Stanford.
California Institute of Technology Pasadena, CA, United States of America
Kaiyu Yang
yangky11
Research Scientist @ Meta, FAIR
Meta Fundamental AI Research (FAIR) New York, NY
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.
PreviousNext