2021 (modified: 03 Oct 2021)ICML 2021Readers: Everyone
Abstract:Bridging logical and algorithmic reasoning with modern machine learning techniques is a fundamental challenge with potentially transformative impact. On the algorithmic side, many NP-hard problems ...