Last released Sep 6, 2025
A general framework for property-driven machine learning with logical constraints
Supported by