48 citations · 83 across the 12 of their papers we have counts for
3 papers · 1 filter
Synthesizing Datalog Programs Using Numerical Relaxation
Xujie Si, Mukund Raghothaman, Kihong Heo +1
The problem of learning logical rules from examples arises in diverse fields, including program synthesis, logic programming, and machine learning. Existing approaches either invol…
PolyDroid: Learning-Driven Specialization of Mobile Applications
Brian Heath, Neelay Velingker, Osbert Bastani +1
The increasing prevalence of mobile apps has led to a proliferation of resource usage scenarios in which they are deployed. This motivates the need to specialize mobile apps based…
Learning Neurosymbolic Generative Models via Program Synthesis
Halley Young, Osbert Bastani, Mayur Naik
Significant strides have been made toward designing better generative models in recent years. Despite this progress, however, state-of-the-art approaches are still largely unable t…