Newest papers

From Prose to Properties: Testing Research Claims with ARATest for Agent-Native Science

Yifeng He, Jiachen Liu, Hao Chen · 2026 · arXiv

DOI: 10.48550/arXiv.2610.30495 · open-access PDF

Arabic

الآن شركات الذكاء الاصطناعي تقوم بتجربة وتقارير النتائج، لذا فإن البحوث تنتج الشكاوى بسرعة أكبر مما يمكن للباحثين التحقق منها. كل الشكاوى الإيجابيية تعني شكاية يجب أن تتحكم في حالاتها، ولكنها تعني أن الشكاية هي فقط في الفلسفة. بدون شكاية صريحة، لا يمكن أن يحدد أي شكاية شكاية شكاية الشكاوى، لذلك لا يمكن أن تتحكم الشكاية مع الشكاوى التي تنتج شركات الشكاوى. لتجعل الشكاوى قابلة للتحقق، نحن نقتصر على الشكاية الشكاوى عن طريق استنساخ شكاية شكاية الشكاية، وهي علاقة متقاربة تتكرر بين الشكاوى

Machine translation (Meta M2M100); the English original follows.

Abstract

AI agents now run experiments and report findings, so research produces claims faster than researchers can check them. Each empirical claim implies a property that must hold over its cases, but it states that property only in prose. Without an explicit property, no test can decide which evidence would falsify a claim, so validation cannot keep pace with the claims agents produce. To make claims testable, we approximate a claim's semantics by abstracting its property skeleton, a parameterized relation that recurs across claims. We present ARATest, a property-based testing library that checks th

Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese

Sources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange