arXiv AI By Tianyu Wu (Project Aether)

Null Controls Are Necessary but Not Sufficient: Evaluating Acceptance Guards for Scientific Discovery and Interpretability

Read the original on arXiv AI →

The paper introduces four executable operations—identifying redundancies (L1), coarse‑graining dynamics (L2), transferring structure (L3), and inferring missing quantities from conservation imbalances (L4)—to modify physical descriptions in automated scientific discovery systems. It evaluates these operations alongside three interpretability settings (null acceptance, positive acceptance, consequence agreement) on chaotic systems, controlled benchmarks, language and protein models, and sparse autoencoders, revealing that descriptive tests can accept empty candidates and accepted candidates may lack verified consequences. The study demonstrates that reliable automated discovery must assess both what a test accepts and the scientific consequences it establishes.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.

arXiv AI
Oct 7

Learning to Outgrow a Theory: Experimental Discovery Beyond the Initial Hypothesis Space

The paper introduces an experimental model‑class revision framework that jointly proposes structural edits to a hypothesis space and diagnostic experiments to test those edits. By coupling a class‑level distinguishability objective with anytime‑valid sequential evidence, the method only revises the model class after the current one is rejected. On 400 controlled dynamical environments, the approach achieves 89.5% exact recovery with 32 experiments, outperforming baselines and transferring well to unseen mechanisms, library insufficiency detection, and other benchmark tasks.

By SiYuan Ma, Albert Gao, Chunzheng Zhu, Xin Yan, Wenlong Zhang, Wenxin Zhang, Luqi Gong, Tianlin Li, Qixin Zhang
arXiv Machine Learning
Sep 24

Discover, Falsify, Revise: Auditing Input-Use Claims from Source Code to Predictive Contribution in Agent-Discovered Cell Models

The paper introduces CELLAUDIT, a method for auditing whether inputs claimed to influence predictive models actually do so. By testing if an input can enter the computation, whether predictions depend on it, and if that dependence improves observed responses, the authors evaluate agent-generated predictors on a morphology‑transcriptomics benchmark (BBBC047). Their findings show that many models claim compound contributions that are not supported by the data, and that falsification‑guided revisions can recover genuine input effects while improving performance.

By Mengran Li, Bo Li, Chengyang Zhang, Yang Yan, Jinfeng Xu, Zhenchao Tang