Ginevra Carbone | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Luca Bortolussi
2 publications
Francesca Cairoli
1 publication
Sebastiano Saccani
1 publication
Davide Scassola
1 publication
Paolo Pulcini
1 publication

research

∙ 08/31/2023

Conditioning Score-Based Generative Models by Neuro-Symbolic Constraints

Score-based and diffusion models have emerged as effective approaches fo...

0 Davide Scassola, et al. ∙

research

∙ 05/11/2022

Stochastic Variational Smoothed Model Checking

Model-checking for parametric stochastic models can be expressed as chec...

0 Luca Bortolussi, et al. ∙

Success!

An error occurred