Quantitative reasoning and autonomous analysis