ML Anthology
Authors
Search
About
Heo, Kihong
1 publications
IJCAI
2019
Synthesizing Datalog Programs Using Numerical Relaxation
Xujie Si
,
Mukund Raghothaman
,
Kihong Heo
,
Mayur Naik