Skip to content
View alok's full-sized avatar
189 followers · 44 following

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Highlights

  • Pro

Block or report alok

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@Ying1123
Ying Sheng Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
@mikeshulman
Mike Shulman mikeshulman

University of San Diego San Diego, CA

@verse-lab
Verified Systems Engineering Lab verse-lab
Research Group at NUS School of Computing

Singapore

@Beneficial-AI-Foundation
Beneficial AI Foundation Beneficial-AI-Foundation
AI Safety + Formal Verification
@oOo0oOo
Oliver Dressler oOo0oOo

Switzerland

@ammkrn
Chris Bailey ammkrn
@atlas-computing-org
Atlas Computing atlas-computing-org
@shaoweilin
Shaowei Lin shaoweilin

Singapore University of Technology and Design Singapore

@well-typed
Well-Typed LLP well-typed
The Haskell Consultants
@leanprover
Lean leanprover
Lean Prover
@olynch
Owen Lynch olynch
@plp127
Aaron Liu plp127

Pittsburgh, PA, USA

@alexrutar
Alex Rutar alexrutar
Mathematics researcher at the University of Jyväskylä

University of Jyväskylä Jyväskylä, Finland

@elder-plinius
pliny elder-plinius
latent space liberator; steward of BASI !insert_divider: •-•-•-•-<|L/O\V/E\/P\L/I\N/Y|>-•-•-•-• {GODMODE:ENABLED}

Pliny the Prompter

@pitmonticone
Pietro Monticone pitmonticone
Informal Mathematics @unitrento || Formal Mathematics at @harmonic-ai || Formalising in @leanprover || Developing in @JuliaLang and @python.

University of Trento Trento, Italy

@fgdorais
François G. Dorais fgdorais
Ph.D. Mathematics, Dartmouth College, 2007. Working in Logic, Foundations of Mathematics and Theoretical Computer Science

University of Vermont Burlington, Vermont, USA

@lucidrains
Phil Wang lucidrains
Working with Attention. It's all we need

San Francisco

@danielhenrymantilla
Daniel Henry-Mantilla danielhenrymantilla
Thinking about the immortality of the 🦀 https://danielhenrymantilla.github.io

https://www.ditto.live/ France - Spain

@0xJepsen
Jepsen ✨ 0xJepsen
Creating Biodigital Jazz

Somewhere in meatspace

@nrimsky
Nina nrimsky

London

@dwrensha
David Renshaw dwrensha

Pittsburgh, PA

@aanjneybeniwal
aanjneybeniwal
@petersn
petersn
@apple
Apple apple

Cupertino, CA

@awalterschulze
Walter Schulze awalterschulze
Projects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt. Interests: LeanProver, Coq, Brzozowski's derivatives.

Stellenbosch University Stevenage, UK

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@lenianiva
Leni Aniva lenianiva
Researcher in Machine-Assisted Theorem Proving; Director of NorCal Hakkero Factory No. 1

Stanford University Centaur Lab San Francisco Bay Area, Gensokyo

@iterative
Iterative iterative
Data Tools for AI and ML

United States of America

@joelburget
Joel Burget joelburget
Thinking about ML (previously programming languages / formal reasoning)

Portland, OR

@evhub
Evan Hubinger evhub
Alignment Stress-Testing Team Lead @anthropics. Previously: @machine-intelligence, @openai, @google, @Yelp, @ripple.

Anthropic San Francisco, California

@enkimute
Steven De Keninck enkimute
(programmer*) minimalist ≅ mathematical experimentalist
@teorth
teorth
@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@jasonrute
Jason Rute jasonrute
Former mathematician turned data scientist turned AI researcher. My passion is teaching AI systems to reason, especially in mathematics.

@mistral.ai Greater Boston, MA

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@gwern
Gwern Branwen gwern
@unixpickle
Alex Nichol unixpickle
AI researcher, hobby web developer, math geek. Constantly learning.

OpenAI

@kvfrans
Kevin Frans kvfrans
PhD @ UC Berkeley. Previously at MIT, CrossLabs, Sizigi, Autodesk, OpenAI.

United States

@cbfinn
Chelsea Finn cbfinn

Stanford University

@vladimirias
Vladimir Voevodsky vladimirias
Vladimir Voevodsky died September 30, 2017. This account is maintained in memoriam by Dan Grayson as his academic executor, http://dangrayson.com/.
@danluu
Dan Luu danluu

https://danluu.com Vancouver, BC

@charlesfrye
Charles Frye charlesfrye
@leahneukirchen
Leah Neukirchen leahneukirchen
she/her · they/them

Munich, Germany

@colah
Christopher Olah colah
I want to understand things clearly and explain them well. Interpretability at Anthropic. Formerly OpenAI, Google Brain.

Anthropic San Francisco