Allows for injecting background knowledge into neural networks by building requirement layers.

Guarantees the satisfaction of requirements!

Easy to add over existing models.

Built on top of PyTorch.

GPU-optimised.

Users can easily provide propositional or linear requirements.

Installation

From the root of the PiShield repository, containing setup.py, run

pip install .

Alternatively, install using PyPI:

pip install pishield==1.0.0

Want to get involved? Get in touch with us at pishield-contact@googlegroups.com