SNU-KAIST AI/ML Theory Workshop