FormalML

★ 77 Open GitHub ↗

Formalization of Machine Learning Theory with Applications to Program Synthesis

Explore Similar Repositories

Machine-Learning-Explained : Learn the theory, math and code behind different machine learning algorithms and techniques.
Hard_constraint_projection_HCP : Theory-guided hard constraint projection (HCP): a knowledge-based data-driven scientific machine learning method
Computational-Economics : Algorithmic game theory, recursive macroeconomics, machine learning for econometrics
Data-Science-and-Machine-Learning-Theory-and-Projects-A-to-Z : No description available.
Machine-Learning-Theory-and-Application : Practical and Real-world applications of ML based on the homework of Hung-yi Lee Machine Learning Course 2021
// repository documentation