Proprioceptive-only State Estimation for Legged Robots with Set-Coverage Measurements of Learned Dynamics | ScienceToStartup | ScienceToStartup