An Insight into NTP (Neural Theorem Provers) in the Context of Image Processing Algorithms R&D-A Simple Suggestion and Short Communication on Exploring HO List and DeepHOL: Machine Learning (ML) of Higher Order Theorem Proving
Saved in:
| Published in | International journal of applied research on information technology and computing |
|---|---|
| Format | Journal Article |
| Language | English |
| Online Access | Get full text |
| ISSN | 0975-8070 0975-8089 0975-8089 |
| DOI | 10.5958/0975-8089.2020.00001.9 |
Cover
| ISSN: | 0975-8070 0975-8089 0975-8089 |
|---|---|
| DOI: | 10.5958/0975-8089.2020.00001.9 |