Search Results for author:
Found 2 papers, 1 papers with code
Synthesizing Datalog Programs Using Numerical Relaxation
The problem of learning logical rules from examples arises in diverse fields, including program synthesis, logic programming, and machine learning.
Learning Loop Invariants for Program Verification
A fundamental problem in program verification concerns inferring loop invariants.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
