Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
The paper introduces MiSS, a novel framework for explaining 3D point cloud classifiers by leveraging perturbation-relative sufficiency reasoning to identify minimal sufficient coalitions of geometric regions. By employing a black-box statistical oracle and a weighted MaxSAT procedure, MiSS efficiently certifies the sufficiency of these coalitions while ensuring minimum cardinality. Experimental results on ModelNet40 and ShapeNet demonstrate that MiSS outperforms traditional rule-based explainers in precision and coverage, while also reducing explanation time compared to exhaustive search methods.
MiSS achieves higher precision and coverage in explaining 3D point cloud classifiers than existing methods, all while cutting down explanation time significantly.
We present MiSS, a black-box, query-based framework for explaining 3D point cloud classifiers through perturbation-relative sufficiency reasoning. MiSS treats a superpoint partition as an interpretable abstraction layer and asks whether the original prediction can be certified from a minimal coalition of geometric regions under a specified perturbation distribution. Unlike abductive explainers that require Boolean feature spaces or white-box logical encodings of the predictor, MiSS separates candidate proposal from verification: a weighted MaxSAT procedure proposes coalitions using a heuristic adaptive cardinality floor, certified exact-size fallback, a safely tightened upper bound, blocking clauses, and a surrogate acquisition heuristic learned from previous oracle evaluations, while a blackbox statistical oracle decides sufficiency from prediction queries. The system returns a statistically verified sufficient coalition as a binary attribution, with minimum cardinality guaranteed when certified search completes. Experiments on ModelNet40 and ShapeNet with PointNet and PointMLP classifiers show higher precision and coverage than rule-based baselines in most settings, with lower explanation time than exhaustive search.