Hongseok Yang

Full Professor@Korea Advanced Institute of Science and Technology·韩国·OpenReview

研究方向

neural tangent kernel · infinite-width neural network · SATNet · probabilistic programming · probabilistic inference · stochastic variational inference · programming languages · program analysis · program verification · program semantics · logic · concurrency · distributed system