conftrace_

hybrid domain

8 papers

Explore in graph

Co-occurring keywords · papers mentioning both

probabilistic inference (4) weighted model integration (3) smt solving (2) exact inference (2) neural potential (1) interventional distribution (1) sum-product network (1) nonlinear optimization (1) predicate abstraction (1) hybrid planning (1)

Papers

$χ$SPN: Characteristic Interventional Sum-Product Networks for Causal Inference in Hybrid Domains UAI 2024 Few-shot Hybrid Domain Adaptation of Image Generator ICLR 2024 Relational Neural Markov Random Fields AISTATS 2022 SMT-based weighted model integration with structure awareness UAI 2022 Probabilistic Inference with Algebraic Constraints: Theoretical Limits and Practical Approximations NeurIPS 2020 Efficient Weighted Model Integration via SMT-Based Predicate Abstraction IJCAI 2017 Probabilistic Inference in Hybrid Domains IJCAI 2017 Scalable Planning with Tensorflow for Hybrid Nonlinear Domains NeurIPS 2017