Log inSign up
user avatar
Alex J Best
@AlexJBest
Researcher in maths+formal methods+ml. Working on using formal verification to train models for reliable mathematics, software, and reasoning @harmonicmath
London, UK
alexjbest.github.io
Joined May 2010
3,424
Following
593
Followers
RepliesMedia