@article{
tang2026verify,
title={Verify What Matters: Budgeted Verification for Tool-Using Agents under Counterfactual Downstream Harm},
author={Yueh Tang and Justin Zhan},
journal={Transactions on Machine Learning Research},
issn={2835-8856},
year={2026},
url={https://openreview.net/forum?id=nv1jzr0FaZ},
note={}
}