Shun Kashiwa | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Sanjit A. Seshia
65 publications
Edward Kim
37 publications
Xiangyu Yue
34 publications
Shromona Ghosh
14 publications
Daniel J. Fremont
14 publications
Tommaso Dreossi
10 publications
Alberto L. Sangiovanni-Vincentelli
10 publications
Lindsey Kuper
7 publications
Gan Shen
4 publications
Eric Vin
2 publications
Matthew Rhea
1 publication

research

∙ 07/06/2023

3D Environment Modeling for Falsification and Beyond with Scenic 3.0

We present a major new version of Scenic, a probabilistic programming la...

0 Eric Vin, et al. ∙

research

∙ 03/02/2023

HasChor: Functional Choreographic Programming for All (Functional Pearl)

Choreographic programming is an emerging paradigm for programming distri...

0 Gan Shen, et al. ∙