Verification | https://www.benjiewang.com/tags/verification/ Verification Hugo Blox Builder (https://hugoblox.com)en-usTue, 01 Sep 2026 00:00:00 +0000 https://www.benjiewang.com/media/icon_hu_dc5a729fffcec055.png Verification https://www.benjiewang.com/tags/verification/ Meta-Ctrl: Guaranteed Plan Generation by Decoupling Syntactic and Semantic Constraints https://www.benjiewang.com/publications/weng-2026-metactrl/ Tue, 01 Sep 2026 00:00:00 +0000 https://www.benjiewang.com/publications/weng-2026-metactrl/ PREMAP: A Unifying Preimage Approximation Framework for Neural Networks https://www.benjiewang.com/publications/zhang-2025-premap/ Mon, 02 Jun 2025 00:00:00 +0000 https://www.benjiewang.com/publications/zhang-2025-premap/ Provable Preimage Under-Approximation for Neural Networks https://www.benjiewang.com/publications/zhang-2024-preimage/ Mon, 01 Jan 2024 00:00:00 +0000 https://www.benjiewang.com/publications/zhang-2024-preimage/ Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits https://www.benjiewang.com/publications/wijk-2022-credal/ Sat, 01 Jan 2022 00:00:00 +0000 https://www.benjiewang.com/publications/wijk-2022-credal/ Provable Guarantees on the Robustness of Decision Rules to Causal Interventions https://www.benjiewang.com/publications/wang-2021-provable/ Fri, 01 Jan 2021 00:00:00 +0000 https://www.benjiewang.com/publications/wang-2021-provable/ Statistically Robust Neural Network Classification https://www.benjiewang.com/publications/wang-2021-statistically/ Fri, 01 Jan 2021 00:00:00 +0000 https://www.benjiewang.com/publications/wang-2021-statistically/ Assessing Robustness of Text Classification through Maximal Safe Radius Computation https://www.benjiewang.com/publications/lamalfa-2020-assessing/ Sun, 01 Nov 2020 00:00:00 +0000 https://www.benjiewang.com/publications/lamalfa-2020-assessing/