Zulip Chat Archive

Stream: Machine Learning for Theorem Proving

Topic: Theorem proving in artificial neural networks: new fronti...

Jason Rute (Jan 23 2024 at 10:32):

This seems to be a philosophy paper on AI for theorem proving by Markus Plantsar: https://link.springer.com/article/10.1007/s13194-024-00569-6

Jason Rute (Jan 23 2024 at 10:33):

They consider ITPs to be ATPs, and need a new term “autonomous ATP”. :smile:

Last updated: May 02 2025 at 03:31 UTC