Picture for Leander Kurscheidt

Leander Kurscheidt

A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction

Add code
Mar 25, 2025
Viaarxiv icon