Preprint formalizes Abductive Autonomous Scientific Discovery and proposes 'possibility frontier search'
ArXiv preprint (2610.11289v1) formalizes Abductive Autonomous Scientific Discovery (AASD) using possibility theory, introduces a computable measure called abductive utility, and proposes possibility frontier search—the first algorithm claimed for AASD. The paper says the method maintains anytime validity, achieves asymptotic ε-optimal abductive utility under suitable conditions, and shows strong performance on synthetic and real-world discovery tasks.