Math, Inc.
math-inc
A new company dedicated to autoformalization and the creation of verified superintelligence.
United States of America
Tristan Hume
trishume
Open source enthusiast. Projects in Rust, Ruby, C++, JS, Objective-C and more.
San Francisco
Sandeep Subramanian
MaximumEntropy
Researcher @mistralai, Formerly NVIDIA | Mila | CMU | MSR | FAIR | Element AI
Mistral AI San Fransisco, Bay Area
Tom B Brown
nottombrown
I work on robust and aligned AI at Anthropic.
Previously at @openai and @brain-research
Anthropic San Francisco
Hannes Stärk
HannesStark
MIT PhD student • ML for biomolecules
Massachusetts Institute of Technology Cambridge, MA
Shaojie Bai
shaojieb
@iterationlab (Thinking Machines)
CMU SCS'17, MCS'17, SCS'22 (ML PhD)
San Francisco, CA
D. E. Shaw Research
DEShawResearch
D. E. Shaw Research develops and uses paradigm-shifting computational technologies to reshape the process of drug discovery.
New York, NY
Paradigms of Intelligence Team
paradigms-of-intelligence
Advance our understanding of how intelligence evolves to develop new technologies for the benefit of humanity and other sentient life
Twitter Research
twitter-research
Twitter #opensource projects related to our published research
PreviousNext