Bach, F. (2024). Learning theory from first principles. MIT press.#Learning#Theory#Book#PDF#Machine Learning#Blog#Mathematics·francisbach.com·Dec 23, 2024Bach, F. (2024). Learning theory from first principles. MIT press.
Magnushammer: A Transformer-based Approach to Premise Selection#Mathematics#Machine Learning#Paper#PDF·arxiv.org·Mar 20, 2023Magnushammer: A Transformer-based Approach to Premise Selection