The role of machine learning in carbon neutrality: Catalyst property prediction, design, and synthesis for carbon dioxide reduction | Synapse