TY - RPRT TI - Budget-Sensitive Discovery Scoring: A Formally Verified Framework for Evaluating AI-Guided Scientific Selection AU - Abhinaba Basu AU - Pavan Chakraborty PY - 2026 UR - https://arxiv.org/abs/2603.12349 ID - 2603.12349 ER -