Cover Image

The Need for Verification in AI-Driven Scientific Discovery

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cornelio, Cristina, Ito, Takuya, Cory-Wright, Ryan, Dash, Sanjeeb, Horesh, Lior
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
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)

Bridging the Gap Between Scientific Laws Derived by AI Systems and Canonical Knowledge via Abductive Inference with AI-Noether
by: Srivastava, Karan, et al.
Published: (2025)

Finding Clustering Algorithms in the Transformer Architecture
by: Clarkson, Kenneth L., et al.
Published: (2025)

Quantifying artificial intelligence through algorithmic generalization
by: Ito, Takuya, et al.
Published: (2024)

We Need Improved Data Curation and Attribution in AI for Scientific Discovery
by: Graziani, Mara, et al.
Published: (2025)

Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verification
by: Cornelio, Cristina, et al.
Published: (2025)

Experiment-as-Code Labs: A Declarative Stack for AI-Driven Scientific Discovery
by: Yang, Zhenning, et al.
Published: (2026)

When is a System Discoverable from Data? Discovery Requires Chaos
by: Shumaylov, Zakhar, et al.
Published: (2025)

Group-Algebraic Tensors: Provably-optimal Equivariant Learning and Physical Symmetry Discovery
by: Hoyos, Paulina, et al.
Published: (2026)

SR-Scientist: Scientific Equation Discovery With Agentic AI
by: Xia, Shijie, et al.
Published: (2025)

Agentic AI Scientists Are Not Built For Autonomous Scientific Discovery
by: Bisht, Harshit, et al.
Published: (2026)

The Discovery Engine: A Framework for AI-Driven Synthesis and Navigation of Scientific Knowledge Landscapes
by: Baulin, Vladimir, et al.
Published: (2025)

The Use of AI-Robotic Systems for Scientific Discovery
by: Gower, Alexander H., et al.
Published: (2024)

AutoResearch AI: Towards AI-Powered Research Automation for Scientific Discovery
by: Tie, Guiyao, et al.
Published: (2026)

Rethinking the AI Scientist: Interactive Multi-Agent Workflows for Scientific Discovery
by: Weidener, Lukas, et al.
Published: (2026)

Language Models Coupled with Metacognition Can Outperform Reasoning Models
by: Khandelwal, Vedant, et al.
Published: (2025)

AutoResearchBench: Benchmarking AI Agents on Complex Scientific Literature Discovery
by: Xiong, Lei, et al.
Published: (2026)

DeltaEvolve: Accelerating Scientific Discovery through Momentum-Driven Evolution
by: Jiang, Jiachen, et al.
Published: (2026)

The Open-Box Fallacy: Why AI Deployment Needs a Calibrated Verification Regime
by: Konrad, Phongsakon Mark, et al.
Published: (2026)

Towards Scientific Discovery with Generative AI: Progress, Opportunities, and Challenges
by: Reddy, Chandan K, et al.
Published: (2024)

The WHY in Business Processes: Discovery of Causal Execution Dependencies
by: Fournier, Fabiana, et al.
Published: (2023)

Aleks: AI powered Multi Agent System for Autonomous Scientific Discovery via Data-Driven Approaches in Plant Science
by: Jin, Daoyuan, et al.
Published: (2025)

Active Inference AI Systems for Scientific Discovery
by: Duraisamy, Karthik
Published: (2025)

Cross-Disciplinary Knowledge Retrieval and Synthesis: A Compound AI Architecture for Scientific Discovery
by: Volkova, Svitlana, et al.
Published: (2025)

Automated Explanation Selection for Scientific Discovery
by: Iser, Ashlin
Published: (2024)

Better Later Than Sooner: Neuro-Symbolic Knowledge Graph Construction via Ontology-grounded Post-extraction Correction
by: Loconte, Lorenzo, et al.
Published: (2026)

Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
by: Cornelio, Cristina, et al.
Published: (2024)

Error Detection and Correction for Interpretable Mathematics in Large Language Models
by: Yang, Yijin, et al.
Published: (2025)

Automated Scientific Discovery: From Equation Discovery to Autonomous Discovery Systems
by: Kramer, Stefan, et al.
Published: (2023)

Agentic AI Process Observability: Discovering Behavioral Variability
by: Fournier, Fabiana, et al.
Published: (2025)

Artificial Scientific Discovery
by: Norelli, Antonio
Published: (2024)

Trillion Parameter AI Serving Infrastructure for Scientific Discovery: A Survey and Vision
by: Hudson, Nathaniel, et al.
Published: (2024)

Grounding LLMs in Scientific Discovery via Embodied Actions
by: Zhang, Bo, et al.
Published: (2026)

Towards an AI Fluid Scientist: LLM-Powered Scientific Discovery in Experimental Fluid Mechanics
by: Feng, Haodong, et al.
Published: (2025)

CultureBank: An Online Community-Driven Knowledge Base Towards Culturally Aware Language Technologies
by: Shi, Weiyan, et al.
Published: (2024)

THE-Tree: Can Tracing Historical Evolution Enhance Scientific Verification and Reasoning?
by: Wang, Xin, et al.
Published: (2025)

LLM-based Corroborating and Refuting Evidence Retrieval for Scientific Claim Verification
by: Wang, Siyuan, et al.
Published: (2025)

The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery
by: Lu, Chris, et al.
Published: (2024)

Evaluation-driven Scaling for Scientific Discovery
by: Ye, Haotian, et al.
Published: (2026)

AI Needs Physics More Than Physics Needs AI
by: Coveney, Peter, et al.
Published: (2025)