arxiv.org/abs/2610.30495 From Prose to Properties: Testing Research Claims with ARATest for Agent-Native Science
ARATest is a property-based testing library that turns prose research claims into executable property checks with three verdicts: holds, violated, or inconclusive. Of 243 claims in 33 artifacts, 54 were faithfully declared; 32 held, eight were violated, and 14 were inconclusive, and the tool caught all 553 seeded faults.
— via arXiv Software Engineering, Yifeng He, Jiachen Liu, Hao Chen
