Similar Items: Developing explainablemachine learning model usingaugmented concept activation vector
- Model Checking Vector Addition Systems with one zero-test
- On Inference for the Support Vector Machine
- Learning Concepts Definable in First-Order Logic with Counting
- Vector Addition System Reversible Reachability Problem
- The Complexity of Reachability in Affine Vector Addition Systems with States
- Affine Extensions of Integer Vector Addition Systems with States