Cover Image

Bridging the Gap Between Scientific Laws Derived by AI Systems and Canonical Knowledge via Abductive Inference with AI-Noether

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Srivastava, Karan, Dash, Sanjeeb, Cory-Wright, Ryan, Trager, Barry, Cornelio, Cristina, Horesh, Lior
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Symbolic Computation Algebraic Geometry
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Evolving Scientific Discovery by Unifying Data and Background Knowledge with AI Hilbert
by: Cory-Wright, Ryan, et al.
Published: (2023)

The Need for Verification in AI-Driven Scientific Discovery
by: Cornelio, Cristina, et al.
Published: (2025)

SynPAT: A System for Generating Synthetic Physical Theories with Data
by: Lenchner, Jonathan, et al.
Published: (2025)

All I See Are the Gaps: Semiotic Realignments in the Post‐Renaissance Tattoo Culture
by: William Ryan Force
Published: (2025)

A proof of the Brill-Noether method from scratch
by: Berardini, Elena, et al.
Published: (2022)

Botfip-LLM: An Enhanced Multimodal Scientific Computing Framework Leveraging Knowledge Distillation from Large Language Models
by: Chen, Tianhao, et al.
Published: (2024)

Towards Learning Abductive Reasoning using VSA Distributed Representations
by: Camposampiero, Giacomo, et al.
Published: (2024)

LawMind: A Law-Driven Paradigm for Discovering Analytical Solutions to Partial Differential Equations
by: Zheng, Min-Yi, et al.
Published: (2026)

Scene-Driven Multimodal Knowledge Graph Construction for Embodied AI
by: Yaoxian, Song, et al.
Published: (2023)

Looking for Trouble: Pre‐Intervention Monitoring in Human and AI Driver Training
by: Mathias Broth, et al.
Published: (2026)

“Time‐Tripping” and Memory‐Making: A Grounded Theory of Grounded Theory
by: Barry John Gibson, et al.
Published: (2025)

Bridging Syntax and Semantics of Lean Expressions in E-Graphs
by: Rossel, Marcus, et al.
Published: (2024)

FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex
by: Promies, Valentin, et al.
Published: (2023)

There Will be Blood: Exploring Embodied Labor by Learning the Craft
by: William Ryan Force
Published: (2024)

Forged in Heat: Craft, Body, and Knowledge in Fire Craft
by: Claudio E. Benzecry
Published: (2025)

A View from the Margins: How Movements Outside the Mainstream Create and Mobilize Knowledge of Autism
by: Jason Turowetz
Published: (2024)

On Explaining Proxy Discrimination and Unfairness in Individual Decisions Made by AI Systems
by: Sonna, Belona, et al.
Published: (2025)

Primender Sequence: A Novel Mathematical Construct for Testing Symbolic Inference and AI Reasoning
by: Faiz, Mohd Anwar Jamal
Published: (2025)

Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
by: Zhang, Naifeng, et al.
Published: (2025)

Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge
by: Labre, Marcelo
Published: (2026)

AI-Newton: A Concept-Driven Physical Law Discovery System without Prior Physical Knowledge
by: Fang, You-Le, et al.
Published: (2025)

A Knowledge Graph Informing Soil Carbon Modeling
by: Shirvani-Mahdavi, Nasim, et al.
Published: (2025)

A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AI
by: Bizzarri, Alice, et al.
Published: (2024)

Symbolic versus Modelistic Elements in Scientific Modeling
by: Chuang Liu
Published: (2015)

VITA: Versatile Time Representation Learning for Temporal Hyper-Relational Knowledge Graphs
by: Un, ChongIn, et al.
Published: (2025)

Unlocking the Potential of Generative AI through Neuro-Symbolic Architectures: Benefits and Limitations
by: Bougzime, Oualid, et al.
Published: (2025)

GOFAI meets Generative AI: Development of Expert Systems by means of Large Language Models
by: Garrido-Merchán, Eduardo C., et al.
Published: (2025)

Alienation Techniques in VayalaVasudevan Pillai’s Vishwadarshanam
by: Reshma V.R.
Published: (2018)

The Neural Compiler: Program-to-Network Translation for Hybrid Scientific Machine Learning
by: Sheneman, Lucas
Published: (2026)

Faster multivariate integration in D-modules
by: Brochet, Hadrien, et al.
Published: (2025)

How to generate all possible rational Wilf-Zeilberger forms?
by: Chen, Shaoshi, et al.
Published: (2024)

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations
by: Böhmer, Christian G., et al.
Published: (2025)

Consequences of the Moosbauer-Poole Algorithms
by: Kauers, Manuel, et al.
Published: (2025)

Deducing Closed-Form Expressions for Bright-Solitons in Strongly Magnetized Plasmas with Physics Informed Symbolic Regression (PISR)
by: Finkelstein, Edward
Published: (2025)

Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
by: Stübbe, Jonas, et al.
Published: (2025)

Solving parametric polynomial systems using Generic Rational Univariate Representation
by: Corniquel, Florent
Published: (2026)

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
by: Wang, Zhonghan
Published: (2024)

Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions
by: Chen, Shaoshi, et al.
Published: (2025)

More is Less: Adding Polynomials for Faster Explanations in NLSAT
by: Promies, Valentin, et al.
Published: (2025)

A Generalisation of Goursat's Algorithm for Integration in Finite Terms
by: Blake, Sam
Published: (2026)