ml2 (pypi): Machine Learning for Mathematics and Logics
Keywords: machine learning|deep learning|mathematics|logics|neural-symbolic|system 2