Bayesian optimization guides the discovery of high-performance catalysts for direct CO2-to-jet-fuel conversion