Mk | https://www.benjiewang.com/authors/mk/ Mk Hugo Blox Builder (https://hugoblox.com)en-usMon, 02 Jun 2025 00:00:00 +0000 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/ Compositional Probabilistic and Causal Inference using Tractable Circuit Models https://www.benjiewang.com/publications/wang-2023-compositional/ Sat, 01 Apr 2023 00:00:00 +0000 https://www.benjiewang.com/publications/wang-2023-compositional/ 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/ Tractable Uncertainty for Structure Learning https://www.benjiewang.com/publications/wang-2022-structure/ Sat, 01 Jan 2022 00:00:00 +0000 https://www.benjiewang.com/publications/wang-2022-structure/ 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/ 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/