Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen
Natalia Díaz Rodríguez
NataliaDiaz
Professor @dasci (Andalusian Data Science and Computational Intelligence Institute), University of Granada, Spain. ContinualAI.org Cofounder
University of Granada, Spain Granada, Spain
David Stutz
davidstutz
Research scientist at DeepMind, davidstutz.de, hello@davidstutz.de
London, UK
爱可可-爱生活
fly51fly
BUPT prof | Sharing latest AI papers & insights | Join me in embracing the AI revolution! #MachineLearning #AI #Innovation
PRIS BeiJing