We use Gaussian processes trained on vetted test data from academic and industry partners. We use these predictions to recommend mixes for onsite testing to accelerate finding mixtures with optimal strength-speed-sustainability trade-offs. None of the data and predictions go untested. The blog post goes into this in more detail.