Controlled Discovery and Localization of Signals via Bayesian Linear Programming. - Spector, Asher; Janson, Lucas (Journal of the American Statistical Association, 2025)