Math, Inc.
math-inc
A new company dedicated to autoformalization and the creation of verified superintelligence.
United States of America
Alok Singh
alok
If you’re a smooth operator, you can infinitely differentiate yourself.
Berkeley, CA
Xinqi Wang
ElliotXinqiWang
Great interests in ML, CV, Disneyland and giant robots.
@IIIS19 University of Washington, Seattle, Washington, US
Markus Ferdinand Dablander
MarkusFerdinandDablander
Research Mathematician | Recent Doctoral Graduate, Mathematical Institute, University of Oxford | Theoretical & Applied AI, Machine Learning & Data Science
Ben Ruijl
benruijl
Computer scientist and theoretical physicist. Writing a next-generation computer algebra system.
Ruijl Research Zug, Switzerland
Gleb Solovev
GlebSolovev
Software developer & researcher seeking the right choices and solutions!
Model Context Protocol
modelcontextprotocol
An open protocol that enables seamless integration between LLM applications and external data sources and tools.
Markus Rauhalahti
mrauha
Independent researcher. Applied metascience, HCI, AI. PhD in computational chemistry.
Michael Färber
01mf02
PhD in computer science (logic & automated reasoning). Software should be beautiful and efficient, like a Samurai sword.
Innsbruck
Xing Wen Kai
xwk-911
I am a PHD student, interested in LLM for formal verification.
北京大学 北京市海淀区颐和园路5号
Yao(Mark) Mu
YaoMarkMu
I am currently a Ph.D. Candidate of Computer Science at the University of Hong Kong, fortunately supervised by Prof. Ping Luo at HKUMMLAB.
Hong Kong
Kazuhiko Sakaguchi
pi8027
Postdoc in the Plume team | Interests: interactive theorem proving, formalization of mathematics, proof by reflection, and parametricity
CNRS, ENS de Lyon, UCBL, LIP Lyon, France
makarius
makarius
NOTE: My preferred way of collaboration is via decentralized services, such as my own https://vcs.sketis.net (by invitation only).
PreviousNext