Sebastian Griego (@sebngriego) · Digg

SG

Sebastian Griego

94Following4Top Followers192Total Followers

BIO

Working on Formal Verification and AI for Math

Top followers

Christian Szegedy

@ChrSzegedy

#deeplearning, #ai research scientist. Opinions are mine.

Carina Hong

@CarinaLHong

@axiommathai : https://axiommath.ai/careers

PS

#1458

Patrick Shafto

@patrickshafto

PM @DARPA; Prof of Math and CS @Rutgers-Newark; co-founder @ http://Redpoll.ai; Math @the_IAS 2021-2023. http://patrickshafto.com/ http://shaftolab.com

Kaiyu Yang

@KaiyuYang4

Chief Scientist, Verifiable AI Lab of @miromind_ai. Previously: Research Scientist @FAIR, Postdoc @Caltech, PhD @PrincetonCS, Undergrad @Tsinghua_Uni.