Skip to content
Review

VERITAS: Towards a General-Purpose Replication Tool for Scientific Research

Jul 2026 · 1 citation · 31 references
Computer Science

TL;DR

This work presents VERITAS, a domain-agnostic replication framework built around CLI coding agents, which achieves state-of-the-art performance and leads on every metric on both benchmarks.

Abstract

AI tools are accelerating scientific publication while the systems that review it struggle to keep up, and independent verification of published research has become both harder and more important. As manual replication is slow and expensive, a growing line of work uses coding agents to automate parts of the process. Existing efforts are largely packaged as benchmarks with companion agents that only run inside the benchmark's own pipeline, and no general-purpose replication tool exists. We present VERITAS, a domain-agnostic replication framework built around CLI coding agents. Given a paper, a code repository, or both, VERITAS extracts the paper's claims, runs the methodology while resolving issues as they arise, and judges each claim against the evidence from experiment runs. The pipeline returns an importance-weighted Replication Score, a severity-rated log of every fix applied, and the patched codebase. We evaluate VERITAS on CORE-Bench and ReplicationBench, 65 papers spanning computer science, social science, medicine, and astrophysics. Against two strong Claude Code baselines on the same model and host environment, VERITAS achieves state-of-the-art performance and leads on every metric on both benchmarks.

View source

Similar papers

Preprint Jul 2026

Formal Disco: Scalable Open-Ended Generation of Formally Verified Programs

This work proposes Formal Disco: a distributed system for coordination of LLM-based workers that can be easily applied to open-ended synthetic data generation at scale and proposes a principle of maximum entropy for synthetic program generation.

Gabriel Poesia, Simon Henniger, Tzu-Han Hsu et al. · 0 citations
Preprint Aug 2026

Vero: Can AI Agents Build Formally Verified Software Repositories?

Vero is introduced, the first benchmark to evaluate joint implementation and proof synthesis at the repository level and an audit mechanism where agents are allowed to formally prove unsatisfiability of provided specification or incorrectness of reference code, which surfaces and corrects latent code and specification...

Zhe Ye, Hantao Lou, Yuechun Sun et al. · 0 citations
Preprint Aug 2026

SWE-bench Science: Can Coding Agents Resolve Engineering Tasks in Science?

A paired ablation that removes explicit scientific guidance while preserving the repository and executable engineering context shows that scientific knowledge is not uniformly beneficial: well-grounded information can constrain repair and improve average performance and token efficiency, whereas poorly aligned guidance...

Zhi-Peng Xu, Jia-Hao Lu, Yi-Ning Zheng et al. · 4 citations
#software testing Preprint Aug 2026

SWE Refactor Bench: Can Coding Agents Complete a Long-Horizon, Whole-Repository Stack Migration?

SWE Refactor Bench is introduced, a benchmark comprising 20 whole-repository migrations, covering 4 kinds of technical debt, and SWE Refactor Bench is positioned as a rigorous testbed for developing coding agents for reliable whole-repository migrations.

De-Yao Hong, Yi-Zhe Chi, Wen-Yi Li et al. · 4 citations · ⚡2

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.