IBM / FormalML

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

Related projects

Alternatives and complementary repositories for FormalML