Goto

Collaborating Authors

 clique







RobustnessVerificationofTree-basedModels

Neural Information Processing Systems

Although this verification problem is NP-complete in general, we give a more precise complexity characterization. We show that there is a simple linear time algorithm for verifying a single tree, and for tree ensembles the verification problem can be cast as a max-clique problem on a multi-partite graph withbounded boxicity. Forlowdimensional problems when boxicity can be viewed as constant, this reformulation leads to a polynomial time algorithm.





CanHybridGeometricScatteringNetworksHelp SolvetheMaximumCliqueProblem?

Neural Information Processing Systems

Our empirical results demonstrate that our method outperforms representative GNN baselines in terms of solution accuracy and inference speed as well asconventional solverslikeGurobi with limited time budgets.