Symbolic Machine Learning Prover

The article presents Symbolic Machine Learning Prover (SMLP), a tool and library for system exploration based on data samples. SMLP uses a grey-box approach, combining statistical methods with machine learning…