Login / Signup
OASIS: ILP-Guided Synthesis of Loop Invariants.
Sahil Bhatia
Saswat Padhi
Nagarajan Natarajan
Rahul Sharma
Prateek Jain
Published in:
CoRR (2019)
Keyphrases
</>
inductive logic programming
program synthesis
moment invariants
functional programs
data sets
real world
real time
databases
affine invariant
subgroup discovery
feedback loop
rule learning
projective invariants
multi relational data mining