Axiom-Aware FunSearch for Non-Constructive Mathematics
Max Esposito, Besart Shyti
NeurIPS 2025
Structure elucidation is crucial for identifying unknown chemical compounds, yet traditional spectroscopic analysis remains labour-intensive and challenging, particularly when applied to a large number of spectra. Although machine learning models have successfully predicted chemical structures from individual spectroscopic modalities, they typically fail to integrate multiple modalities concurrently, as expert chemists usually do. Here, we introduce a multimodal multitask transformer model capable of accurately predicting molecular structures from integrated spectroscopic data, including Nuclear Magnetic Resonance (NMR) and Infrared (IR) spectroscopy. Trained initially on extensive simulated datasets and subsequently finetuned on experimental spectra, our model achieves Top–1 prediction accuracies up to 96%. We demonstrate the model’s capability to leverage synergistic information from different spectroscopic techniques and show that it performs on par with expert human chemists, significantly outperforming traditional computational methods. Our model represents a major advancement toward fully automated chemical analysis, offering substantial improvements in efficiency and accuracy for chemical research and discovery.
Max Esposito, Besart Shyti
NeurIPS 2025
Jung koo Kang
NeurIPS 2025
Isha Puri, Shivchander Sudalairaj, et al.
NeurIPS 2025
Shantanu Mishra, Manuel Vilas-Varela, et al.
ACS Nano