IBM / FormalML

Formalization of Machine Learning Theory with Applications to Program Synthesis
74Updated this week

Related projects

Alternatives and complementary repositories for FormalML