conftrace_

probabilistic algebraic layer

1 paper

Explore in graph

Also known as

PAL

Co-occurring keywords · papers mentioning both

algebraic constraint (1) symbolic integration (1) safety-critical application (1) constraint satisfaction (1) maximum likelihood (1)

Papers

A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction UAI 2025