Climate change is one of the most pressing challenges of our time, requi...
In recent years, the ML community has seen surges of interest in both
ad...
Large optimization problems with hard constraints arise in many settings...
When designing controllers for safety-critical systems, practitioners of...
Climate change is one of the greatest challenges facing humanity, and we...
Integrating logical reasoning within deep learning architectures has bee...