Verifying Tree Ensembles by Reasoning about Potential Instances

Imagine being able to ask questions to a black box model such as "Which adversarial examples exist?", "Does a specific attribute have a disproportionate effect on the model's prediction?" or "What kind of predictions could possibly be made for a partially described example?" This last question is particularly important if your partial description does not correspond to any observed example in y…

Paper

Similar papers

© 2026 NYSGPT2525 LLC