Edward Kim

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Formal Languages

Data Generation

Top Venues

Publications

Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Scenic: a language for scenario specification and data generation. Mach. Learn. 112 (10) (2023)