conftrace_

symbolic integration

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

probabilistic algebraic layer (1) mathematical syntax (1) algebraic constraint (1) symbolic mathematics (1) safety-critical application (1) algebraic decision diagram (1) weighted model integration (1) differential equation (1) graphical model (1) symbolic dynamic programming (1)

Papers

A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction UAI 2025 Deep Learning For Symbolic Mathematics ICLR 2020 Efficient Symbolic Integration for Probabilistic Inference IJCAI 2018