conftrace_

polynomial arithmetic

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

shapley interaction (1) quantifier elimination (1) template-based skolemization (1) explainable artificial intelligence (1) linear arithmetic (1) shapley value (1) gradient boosted tree (1) feature interaction (1) tree ensemble (1) formal verification (1)

Papers

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization AAAI 2025 Beyond TreeSHAP: Efficient Computation of Any-Order Shapley Interactions for Tree Ensembles AAAI 2024