Paul Lezeau
Paul-Lez
Researcher @ Google DeepMind & PhD student @ LSGNT (Imperial College, joint with King's College London and University College London)
Fredrik Johansson
fredrik-johansson
Computer algebra, high-precision arithmetic
INRIA & Institut de Mathématiques de Bordeaux Bordeaux, France
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Tomáš Skřivan
lecopivo
Mathematician interested in physics simulation, computer graphics and numerical methods.
Matthias Köppe
mkoeppe
Professor of Mathematics, creator of @passagemath, the pip-installable modularized @sagemath fork
University of California, Davis Davis, CA, USA
Yaël Dillies
YaelDillies
First year PhD student at Stockholm Universitet in additive combinatorics.
Stockholm Universitet Stockholm
Oliver Nash
ocfnash
Deputy Director of Operations for Joint Systems Interdepartmental Operational Command
Dublin, Ireland
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
Lance Galletti
gallettilance
Passionate about AI safety, Privacy, and Typed Functional Programming.
I make Data Science videos sometimes.
Red Hat | Boston University
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
PreviousNext