Machine Learning for Automated Theorem Proving
| Author | : Sean B. Holden |
| Publisher | : |
| Total Pages | : 202 |
| Release | : 2021-11-22 |
| ISBN-10 | : 1680838989 |
| ISBN-13 | : 9781680838985 |
| Rating | : 4/5 (89 Downloads) |
Book Synopsis Machine Learning for Automated Theorem Proving by : Sean B. Holden
Download or read book Machine Learning for Automated Theorem Proving written by Sean B. Holden and published by . This book was released on 2021-11-22 with total page 202 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this book, the author presents the results of his thorough and systematic review of the research at the intersection of two apparently rather unrelated fields: Automated Theorem Proving (ATP) and Machine Learning (ML).
