Ginevra Carbone

1. Zero-Shot Conditioning of Score-Based Diffusion Models by Neuro-Symbolic Constraints
   2023/08/31 by Davide Scassola, Scassola, Davide, Sebastiano Saccani +5 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Machine Learning (cs.LG) #Music and Audio Processing #Neural Networks and Applications
2. Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
   2022/05/11 by Luca Bortolussi, Bortolussi, Luca, Francesca Cairoli +5 · 1 citation
   Computer Science · Engineering · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Fault Detection and Control Systems #Gaussian Processes and Bayesian Inference #Machine Learning (cs.LG) #Machine Learning (stat.ML)