Kwangkeun Yi | DeepAI

DeepAI

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

Featured Co-authors

Sehoon Kim
11 publications
Ho Young Jhoo
2 publications
Woosung Song
1 publication
Kyuyeon Park
1 publication
DongKwon Lee
1 publication
Yongho Yoon
1 publication
Woosuk Lee
1 publication

research

∙ 04/21/2023

Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation

A key challenge in example-based program synthesis is the gigantic searc...

0 Yongho Yoon, et al. ∙

research

∙ 12/16/2021

A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code

We present an automatic static analyzer PyTea that detects tensor-shape ...

0 Ho Young Jhoo, et al. ∙