Stefano Teso

reasoning shortcut (3) probabilistic inference (3) constraint learning (3) active learning (2) neuro-symbolic learning (2) machine learning (2) representation learning (2) smt solving (2) logical constraint (2) combinatorial optimization (2) concept learning (2) benchmark evaluation (1) human activity recognition (1) uncertainty quantification (1) density estimation (1) catastrophic forgetting (1) structured prediction (1) gaussian process (1) bayesian inference (1) formal verification (1)