A tool for enforcing specifications on neural networks. Write one specification and use it during …

explainable-ai neural-networks theorem-proving training verification