Showing results 5 to 6 of 6
Synthesizing datalog programs using numerical relaxation Si, Xujie; Raghothaman, Mukund; Heo, Kihong; Naik, Mayur, 28th International Joint Conference on Artificial Intelligence, IJCAI 2019, pp.6117 - 6124, International Joint Conferences on Artificial Intelligence, 2019-08-10 |
User-guided program reasoning using Bayesian inference Raghothaman, Mukund; Kulkarni, Sulekha; Heo, Kihong; Naik, Mayur, 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, pp.722 - 735, Association for Computing Machinery, 2018-06-18 |
Discover