Math, Inc.
math-inc
A new company dedicated to autoformalization and the creation of verified superintelligence.
United States of America
Yongxi (Aaron) Lin
CoolRmal
PhD student in math at Carnegie Mellon Univeristy. Interested in PDE, harmonic analysis, probability, and formal verification of math.
Sidharth Hariharan
thefundamentaltheor3m
PhD student at Carnegie Mellon University | MSci Mathematics graduate from Imperial College London
Carnegie Mellon University Pittsburgh, Pennsylvania, United States
Godot Engine
godotengine
Godot is a popular Free and Open Source game development engine and toolset.
Worldwide
Yaël Dillies
YaelDillies
Second year PhD student at Stockholm Universitet in additive combinatorics.
Also working for Google DeepMind through Adecco Sweden.
Stockholm Universitet Stockholm
Charlie Cheng-Jie Ji
CharlieJCJ
Member of Technical Staff at Resolve AI | @gorilla-llm | UC Berkeley 25' CS + DS | Research Assistant @ucbsky | Ex @bespokelabsai, AWS, Tencent AI, TA @DS-100
Resolve AI San Francisco, CA
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London