AI Noether - Bridging the Gap Between Scientific Laws Derived by AI Systems and Canonical Knowledge via Abductive Inference. - Karan Srivastava; Sanjeeb Dash; Ryan Cory-Wright; Barry Trager; Lior Horesh (CoRR, 2025)