Theoretical physicists use machine-learning algorithms to speed up difficult calculations and eliminate untenable theories—but could they transform what it means to make discoveries? Theoretical ...

Neel Somani has built a career that sits at the intersection of theory and practice. His work spans formal methods, mac ...