On Radically Expanding the Landscape of Potential Applications for Automated Proof Methods.

Jeffrey Uhlmann Jie Wang

Published in: CoRR (2019)

Keyphrases

machine learning methods
database
neural network
computer vision
web services
multiscale
reinforcement learning
preprocessing
feature space
computationally expensive
statistical methods
fully automated
semi automated
automated analysis