Datasets
-
datalog-bench: a benchmark suite for interpretable rule learning.
Software
-
SG-SATNet: automatically learning rules to solve visual MaxSAT games (NeurIPS 2021 Spotlight).
-
Difflog: tool for synthesizing Datalog programs using numerical relaxation (IJCAI 2019).
-
Drake: interactive static analysis alarm ranking system for continuous integration (PLDI 2019).
-
Code2Inv: end-to-end deep learning system for inferring loop invariants (NeurIPS 2018 Spotlight).
-
ALPS: Datalog program synthesis engine using bi-directional search and active learning (FSE 2018).
-
Nichrome: solver for mixed hard and soft constraints (CAV 2017)
-
APISan: semantic cross-checking for sanitizing API usages (Usenix Security 2016).