Lean (@leanprover) · Digg

LE

Lean

49Following55Top Followers11.1KTotal Followers

BIO

Lean is a dependently-typed programming language and theorem prover.

Top followers

Dan Roy

@roydanroy

@Google DeepMind. On leave, Canada CIFAR AI Chair and Former Research Director, @VectorInst. Professor, @UofT (Statistics/CS). Views are my own.

Igor Babuschkin

@ibab

Prev co-founder @xAI, Research & Engineering

TC

#120

Taco Cohen

@TacoCohen

Slop janitor & post-trainologer at Meta / FAIR. Into codegen, RL, equivariance. Spent time at Qualcomm, Scyfer (acquired), UvA, Deepmind, OpenAI.

Omar Khattab

@lateinteraction

asst professor @MIT CSAIL @nlp_mit. http://ColBERT.ai, http://DSPy.ai (@DSPyOSS), RLMs, GEPA

David Dohan

@dmdohan

reducing perplexity @openai | past: probabilistic programs, proteins, science & reasoning @ google brain 🧠

Prof. Anima Anandkumar

@AnimaAnandkumar

AI+Science, Bren Professor @caltech, Time100, Fmr Sr Director of #AI research @nvidia Fmr Principal Scientist @awscloud

Geoffrey Irving

@geoffreyirving

Chief Scientist at the UK AI Security Institute (AISI). Previously DeepMind, OpenAI, Google Brain, etc.

Preetum Nakkiran

@PreetumNakkiran

Mirendil

Theo Weber

@theophaneweber

Research scientist @ DeepMind; currently working on thinking/reasoning in Gemini.

Jacob Austin

@jacobaustin132

I sometimes do AI research. I also play piano and climb. NYC. Previously @GoogleDeepMind, @Google Brain. Opinions my own

Kevin Weil 🇺🇸

@kevinweil

BoD @Cisco @nature_org LTC @USArmyReserve Ex CPO+Science @OpenAI, Pres @Planet, Head of Product @Instagram @Twitter ❤️ @elizabeth ultramarathons kids cats math

Erin Grant

@ermgrant

Assistant Professor / Faculty Fellow @NYUDataScience studying cognition in mind & brain with neural nets, Bayes, other tools | http://bsky.app/profile/eringrant.me

Violet Peng

@VioletNPeng

Associated Professor@UCLA-CS. Research NLP, AI creativity, controllable generation, model evaluation, computational journalism, event. (she/her/hers)

Ari Holtzman

@universeinanegg

Asst Prof @UChicagoCS & @DSI_UChicago, leading Conceptualization Lab http://conceptualization.ai Minting new vocabulary to conceptualize generative models.

Sean Welleck

@wellecks

Assistant Professor at CMU. Marathoner, @thesisreview.

Hailey Schoelkopf

@haileysch__

hillclimbing towards generality @anthropicai | prev @AiEleuther | views my own

Jeremy Bernstein

@jxbz

🧪 @thinkymachines ✍️ anon feedback @ http://admonymous.co/jxbz

Ying Sheng

@ying11231

Cofounder & CEO @radixark @lmsysorg | @sgl_project (http://sglang.io) | Do it anyway | Be the light

Gabriel Goh

@gabeeegoooh

Images {1,1.5,2} Lead, among other things.

Georges Harik

@gharik

humans& co-founder, 7th employee google, co-created adwords online, co-created adsense targeting, worked on ai, gmail, calendar, bought android.

Yo Shavit

@yonashav

ai resilience @foundationOAI. Past: @openai / @HarvardSEAS / @SchmidtFutures / @MIT_CSAIL. Tweets my own; on my head be it.

Jonathan Ho

@hojonathanho

Aaron Defazio

@aaron_defazio

Research Scientist at Meta Superintelligence Labs working on optimization algorithms. Fundamental AI Research (FAIR) team

Ian Hogarth

@soundboy

investor at @pluralplatform, chair UK AI Security Institute, co-founder @songkick

Anastasios Nikolas Angelopoulos

@ml_angelopoulos

Measuring intelligence @arena. Statistics, model evaluation. Formerly @Berkeley_EECS, @stanford_ee, student researcher @GoogleDeepMind.

Edward Z. Yang

@ezyang

I work on PyTorch at Meta. Chatty alt at @difficultyang.

Zhaoran Wang

@zhaoran_wang

Associate Professor @NorthwesternU | PhD @Princeton | studying Reinforcement Learning

Chi Jin

@chijinML

Researcher @OpenAI | Associate Prof @Princeton AI Reasoning · Reinforcement Learning · Game Theory · ML Foundations

Mathieu Blondel

@mblondel_ml

Research scientist at Google DeepMind. Current research interests: differentiable programming, LLMs, Transformers.

theseriousadult

@gallabytes

father, ML enjoyer @anthropicai. previously @midjourney v2-7

Stanislas Polu

@spolu

co-founder+engineer(https://dust.tt); alumni(https://openai.com, https://stripe.com, https://stanford.edu, https://polytechnique.edu);

Taelin

@VictorTaelin

Kind / Bend / HVM / INets / λCalculus

Jong Wook Kim 💟

@_jongwook_kim

Member of Technical Staff @OpenAI; previously at @nyuMARL, @SpotifyResearch, @pandoramusic, @kakaocorpglobal, and @NCSOFT

Alexander Terenin

@avt_im

Something new: soon · decision-making, machine learning, artificial intelligence · anti-ideological · Assistant Research Professor @Cornell, prev @CambridgeMLG

Guy Van den Broeck

@guyvdb

Professor of Computer Science at UCLA @UCLAComSci; working on Artificial Intelligence

Matt Clifford

@matthewclifford

Co-founder @join_ef; Chair @ARIA_Research; Make Britain Rich Again.

Damek

@damekdavis

Prof @Wharton stats / optimization & ML / AI for math / benchmark https://github.com/teorth/optimizationproblems / course http://OptimizationInPyTorch.com

Fereshte Khani

@fereshte_khani

@OpenAI, CS Ph.D. @stanfordAILab

John Thickstun

@jwthickstun

Assistant Professor @Cornell_CS. Previously @StanfordCRFM @stanfordnlp @uwcse Controllable Generative Models. AI for Music.

Jaime Sevilla

@Jsevillamol

Director of @EpochAIResearch. Trying to glimpse the future of AI.

Jesse Michael Han

@jessemhan

@mathematics_inc // prev. research @OpenAI 'turboautist' 'only guy i know who talks like an anime character'

Patrick Shafto

@patrickshafto

PM @DARPA; Prof of Math and CS @Rutgers-Newark; co-founder @ http://Redpoll.ai; Math @the_IAS 2021-2023. http://patrickshafto.com/ http://shaftolab.com

Weijie Su

@weijie444

Researcher @OpenAI, Professor @Wharton, CS, Math @Penn, coDir PRiML, PhD @Stanford

Gilles Louppe

@glouppe

On a quest to accelerate Science with #AI. Professor of AI and deep learning @UniversiteLiege. Previously @CERN, @nyuniversity.

Mark Goldstein

@marikgoldstein

absolutely discontinuous with respect to Lebesgue measure. research fellow at the flatiron institute in nyc @FlatironInst

Cong Lu

@cong_ml

Founding Member @Recursive_SI. Prev: @GoogleDeepMind | @UBC_CS | @UniofOxford | @SakanaAILabs | @Waymo | @MSFTResearch. The AI Scientist | Genie 3 | SIMA

Pengfei Liu

@stefan_fee

Associate Prof. at SJTU, leading GAIR Lab (http://plms.ai) Co-founder of Inspired Cognition, Postdoc at @LTIatCMU, Previously FNLP, @MILAMontreal,

Andrew Critch (🤖🩺🚀)

@AndrewCritchPhD

CEO @ http://theMultiplicity.ai/. AI Researcher @ Berkeley. Views my own. I also post my favorite healthy+tasty foods for free.

Cristian Garcia

@cgarciae88

Google DeepMind | Open Source

Alireza Makhzani

@AliMakhzani

Research Scientist at @GoogleDeepMind, Associate Professor (status-only) @UofT