MATHMO: Automated Mathematical Modeling Through Adaptive Search - Liu, Tennison; van der Schaar, Mihaela (International Conference on Learning Representations, 2026)