BIO
Set theorist and AI math benchmarker. Researches the axiom of choice. Led the development of FrontierMath. A or S tier ish.
Dan Roy
@roydanroy
@Google DeepMind. On leave, Canada CIFAR AI Chair and Former Research Director, @VectorInst. Professor, @UofT (Statistics/CS). Views are my own.
