Text this: Quantitative Verification with Neural Networks