Axiom-Aware FunSearch for Non-Constructive Mathematics
Max Esposito, Besart Shyti
NeurIPS 2025
In materials discovery, descriptors that are both accurate and interpretable are essential for predicting molecular properties. However, existing descriptors, including neural network-based approaches, often struggle to capture long-range interactions between substructures. We analyze the previously proposed descriptor TDiMS, which models nonlocal structural relationships via average topological distances between substructure-pairs. While TDiMS has shown strong performance, its size dependence had not been systematically assessed. Our analysis reveals that TDiMS is particularly effective for larger molecules, where long-range interactions are critical and conventional descriptors underperform. SHAP-based analysis highlights that its predictive power derives from distant substructure-pair features. In addition to improved accuracy, TDiMS offers interpretable features that provide chemical insight, potentially accelerating molecular design and discovery.
Max Esposito, Besart Shyti
NeurIPS 2025
Jung koo Kang
NeurIPS 2025
C.A. Micchelli, W.L. Miranker
Journal of the ACM
Isha Puri, Shivchander Sudalairaj, et al.
NeurIPS 2025