Symbolic Learning of Interpretable Reduced-Order Models for Jumping Quadruped Robots. - Gioele Buriani; Jingyue Liu 001; Maximilian Stölzle; Cosimo Della Santina; Jiatao Ding (CoRR, 2025)