2UrbanGirls on MSNOpinion

Neel Somani on formal methods and the future of machine learning safety

Neel Somani has built a career that sits at the intersection of theory and practice. His work spans formal methods, mac ...
Proceedings of the National Academy of Sciences (PNAS)

Identifying variation in dinosaur footprints and classifying problematic specimens via unbiased unsupervised machine learning

Machine learning holds great promise for classifying and identifying fossils, and has recently been marshaled to identify trackmakers of dinosaur ...