Skip to content

Latest commit

 

History

History
15 lines (10 loc) · 631 Bytes

README.md

File metadata and controls

15 lines (10 loc) · 631 Bytes

Specifying Goals to Deep Neural Networks with Answer Set Programming

Code for Specifying Goals to Deep Neural Networks with Answer Set Programming.

Installation

pip install deepxube==0.1.5

Trained models

You can download the trained models here.

Specifying Goals with Ground Atoms

To redo running the results, use the --redo switch when running run_search.

Specifying Goals with Answer Set Programming

To redo running the results, use the --redo switch when running run_spec_goal.