conftrace_

probabilistic approximation

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

discrete optimal transport (1) boolean satisfiability solver (1) epsilon-delta approximation (1) approximate model counting (1) surprise-based learning (1) model counting (1) external memory (1) sat solver (1) counterfactual explanation (1) model explanation (1)

Papers

Towards Real-Time Approximate Counting AAAI 2025 FOCUS: Flexible Optimizable Counterfactual Explanations for Tree Ensembles AAAI 2022 Adaptive Posterior Learning: few-shot learning with a surprise-based memory module ICLR 2019 Optimal Transport: Fast Probabilistic Approximation with Exact Solvers JMLR 2019