Text this: QUANTITATIVE VERIFICATION WITH NEURAL NETWORKS.