conftrace_

algebraic constraint

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

hybrid probabilistic inference (1) acyclic path diagram (1) probabilistic algebraic layer (1) symbolic integration (1) hybrid inference (1) logical constraint (1) safety-critical application (1) weighted model integration (1) latent confounder (1) structural equation model (1)

Papers

A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction UAI 2025 Efficiently Deciding Algebraic Equivalence of Bow-Free Acyclic Path Diagrams UAI 2024 Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey IJCAI 2021