Zulip Chat Archive
Stream: Machine Learning for Theorem Proving
Topic: AI / ML for the Equational Theories Project?
Pietro Monticone (Oct 13 2024 at 14:48):
Please consider sharing your view at #Equational > How could machine learning/AI be deployed on this project?
Last updated: May 02 2025 at 03:31 UTC