Vertical Cloud Lab @ BYU
vertical-cloud-lab
Autonomous, remote-access, vertically automated labs for materials and manufacturing discovery.
United States of America
T3 Open Source
t3-oss
T3 Open Source community, we build random stuff and share how to use it
Pietro Monticone
pitmonticone
AI ⇌ Formal Verification @harmonic-ai || Formalising Mathematics and Software in @leanprover || Developing FOSS in @leanprover, @JuliaLang and @python.
Harmonic Italy, United Kingdom, United States
Joseph Tooby-Smith
jstoobysmith
Lecturer (Assistant Prof.) at University of Bath. Maintainer of PhysLean.
Alok Singh
alok
If you’re a smooth operator, you can infinitely differentiate yourself.
Berkeley, CA
Pietro Schirano
Doriandarko
Passionate AI engineer on a mission to democratize AI tools.
Founder at MagicPath 🎨✨
magicpath.ai
MagicPath
Coordinal Research
Coordinal-Research
Accelerating the research of safely deploying AI systems.
Frederik Schubert
frederikschubert
I am a PhD student @ Institute for Information Processing (TNT) and a former software engineer.
Leibniz Universität Hannover Hannover
Yannik Mahlau
ymahlau
Computer Science PhD-Student at Leibniz University Hannover
Leibniz Universität Hannover
Tianxiang Dai
txdai
PhD candidate at Stanford Electrical Engineering. I design representations for various systems as a form of optimization
Stanford University
Sakana AI
SakanaAI
On a quest to create a new kind of foundation model based on nature-inspired intelligence.
Tokyo
Andreas Kirsch
BlackHC
Oxford, UK
Stella Biderman
StellaAthena
Democratizing language models and understanding how they work
Booz Allen Hamilton, EleutherAI
liondw
Designer interested in AI safety communication. Working on the Signal-Alignment project to create educational resources for the AI alignment community.
Sydney
Andreas Stuhlmüller
stuhlmueller
Cofounder & CEO @elicit - scale up good reasoning
Elicit San Francisco, CA
PreviousNext