64 citations · 119 across the 3 of their papers we have counts for
4 papers
DC3: A learning method for optimization with hard constraints
Priya L. Donti, David Rolnick, J. Zico Kolter
Large optimization problems with hard constraints arise in many settings, yet classical solvers are often prohibitively slow, motivating the use of deep networks as cheap "approxim…
Enforcing robust control guarantees within neural network policies
Priya L. Donti, Melrose Roderick, Mahyar Fazlyab +1
When designing controllers for safety-critical systems, practitioners often face a challenging tradeoff between robustness and performance. While robust control methods provide rig…
Tackling Climate Change with Machine Learning
David Rolnick, Priya L. Donti, Lynn H. Kaack +19
Climate change is one of the greatest challenges facing humanity, and we, as machine learning experts, may wonder how we can help. Here we describe how machine learning can be a po…
SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver
Po-Wei Wang, Priya L. Donti, Bryan Wilder +1
Integrating logical reasoning within deep learning architectures has been a major goal of modern AI systems. In this paper, we propose a new direction toward this goal by introduci…