Research / selected work
Evidence before biography.
My work moves from representing scientific systems, to learning their dynamics, to testing what modern AI systems actually understand.
Publications & preprints
07 records- 2026MathAdv: What Theorem Provers Know, Reason, Formalize, and GeneralizeReasoning↗
J. Yuan, C. M. Lockhart, X. Liu, J. Wang, C. Deng, X. Han, V. Mastrantonis, et al. · arXiv
- 2025Omni-Mol: Multitask Molecular Model for Any-to-any ModalitiesMultimodal science↗
C. Hu, H. Li, Y. Yuan, Z. Song, C. Zhao, H. Wang · NeurIPS
- 2025FMint: Bridging Human Designed and Data Pretrained Models for Differential Equation Foundation Model for Dynamical SimulationWorld models↗
Z. Song, J. Yuan, H. Yang · Advanced Theory and Simulations
- 2025A Finite Expression Method for Solving High-Dimensional Committor ProblemsScientific ML↗
Z. Song, M. K. Cameron, H. Yang · SIAM Journal on Scientific Computing
- 2025Myelin Mapping in the Human Brain Using an Empirical Extension of the Ridge Regression TheoremMedical imaging↗
G. S. Hampton, R. Neff, Z. Song, M. Bouhrara, R. Balan, R. G. Spencer · bioRxiv
- 2024Forecasting High-Dimensional Spatio-Temporal Systems from Sparse MeasurementsReconstruction↗
J. Song, Z. Song, P. Ren, N. B. Erichson, M. W. Mahoney, X. S. Li · Machine Learning: Science and Technology
- 2024Recent Advances on Machine Learning for Computational Fluid Dynamics: A SurveyFluid dynamics↗
H. Wang, Y. Cao, Z. Huang, Y. Liu, P. Hu, X. Luo, Z. Song, et al. · arXiv