121 citations · 265 across the 19 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.CY2019
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…
cs.LG2019★ 43 cited
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…