research
∙
03/14/2023
Controllable Mesh Generation Through Sparse Latent Point Diffusion Models
Mesh generation is of great value in various applications involving comp...
share
research
∙
05/30/2022
Guided Diffusion Model for Adversarial Purification
With wider application of deep neural networks (DNNs) in various algorit...
research
∙
11/30/2020
Quantitative Analysis of Assertion Violations in Probabilistic Programs
In this work, we consider the fundamental problem of deriving quantitati...
research
∙
08/02/2020