14 citations · 17 across the 2 of their papers we have counts for
2 papers
cs.AI2019★ 14 cited
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…
cs.PL2016★ 3 cited
Automatically generating features for learning program analysis heuristics
Kwonsoo Chae, Hakjoo Oh, Kihong Heo +1
We present a technique for automatically generating features for data-driven program analyses. Recently data-driven approaches for building a program analysis have been proposed, w…