Mike Dodds
641Following5Top Followers1.3KTotal Followers
BIO
Formal methods enthusiast. Nitwit. I really mean it
Top followers
#105
Christian Szegedy
@ChrSzegedy
#deeplearning, #ai research scientist. Opinions are mine.
#1134
Carina Hong
@CarinaLHong
@axiommathai : https://axiommath.ai/careers
#1609
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
Top
Kaiyu Yang
@KaiyuYang4
Lead Scientist, Verifiable AI Lab of @Apodex_AI. Previously: Research Scientist @FAIR, Postdoc @Caltech, PhD @PrincetonCS, Undergrad @Tsinghua_Uni.
Top
girish sastry
@girishsastry
AI & other things. I used to work at OpenAI on Policy Research.