Mathematics and Logics in ML: Application Aspects | IEEE Conference Publication | IEEE Xplore