Symbolic Machine Learning Prover (SMLP). A framework for the formal verification, safety analysis, and optimization of machine learning models using symbolic logic.
python machine-learning intel research-project formal-verification ai-safety explainable-ai symbolic-ai model-optimization smlp
-
Updated
Oct 14, 2024 - Python