Kanghee Park | DeepAI

DeepAI

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

Featured Co-authors

Thomas Reps
28 publications
Loris D'Antoni
25 publications
Keith J. C. Johnson
1 publication

research

∙ 08/14/2023

Modular System Synthesis

This paper describes a way to improve the scalability of program synthes...

0 Kanghee Park, et al. ∙

research

∙ 01/26/2023

Synthesizing Specifications

Every program should always be accompanied by a specification that descr...

0 Kanghee Park, et al. ∙