Josef Urban

Josef Urban

Distinguished Researcher at Czech Technical University in Prague
E-mail confirmado em cvut.cz
Citado por 6680
Automated Reasoning Artificial Intelligence Formal Mathematics Machine Learning
Marco Dos Santos

Marco Dos Santos

PhD student, University of Cambridge
E-mail confirmado em cam.ac.uk
Citado por 371
formal mathematics automated theorem proving
Marcus J. Min

Marcus J. Min

University of Pennsylvania
E-mail confirmado em seas.upenn.edu
Citado por 65
Neurosymbolic AI Logic Deep Learning Formal Mathematics
María Inés de Frutos Fernández

María Inés de Frutos Fernández

Universidad Autónoma de Madrid
E-mail confirmado em uam.es
Citado por 25
Number Theory Arithmetic Geometry Formal Mathematics Algebraic Geometry
Jin Xing Lim

Jin Xing Lim

Software Engineer, Pi Squared Inc.
E-mail confirmado em pi2.network
Citado por 8
blockchain formal mathematics formal verification mathematics artificial intelligence
Haocheng Wang

Haocheng Wang

Undergraduate at Xiamen University Malaysia
E-mail confirmado em xmu.edu.my
Citado por 8
Formal Mathematics AI for Mathematics
Johnathan D. Mercer

Johnathan D. Mercer

Starstuff Ventures
E-mail confirmado em starstuffventures.com
Citado por 2
artificial intelligence category theory formal mathematics quantum computing