Charles T. Marx, Shengjia Zhao, Willie Neiswanger, Stefano Ermon