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

DeepHOL Neural Prover/HOLight/HOL-Light interfacing with [QRNG-libqrng/Python+ImageAI-Python/Ising Models/Helmholtz Theory/Equations in Python] in the context of [Medical Image Processing/Electron Microscopy(EM)→SEM/TEM/AFM/Cryo-Electron Microscopy(cryo-EM) Image Processing/IoT/HPC/Minsky Machines/Mongo DB-Python based R&D Algorithms] as a useful insight into the World of Advanced Image Processing Informatics Frameworks.