Augmented adaptive learning-based prediction and mixed-integer nonlinear optimization for catalyst discovery in CO2-to-methanol process | Synapse