Data-Efficient Structured Pruning via Submodular OptimizationMarwa El Halabi|Samsung SAIT AI Lab Montreal11/11 (금) 09:30|302동 208호
Towards Verified Stochastic Variational Inference for Probabilistic ProgramsXavier Rival|INRIA Paris-Rocquencourt11/7 (월) 11:00|302동 308호
Atomic distributed object and distributed system formal verification김지응(Jieung Kim)|인하대학교 컴퓨터공학과10/20 (목) 15:30|302동 107호
An overview of contemporary fully neural end-to-end speech recognition and text-to-speech김찬우 (Chanwoo Kim)|삼성 리서치10/6 (목) 17:00|302동 105호
Neural Bootstrapper and its Applications to Neural Processes임성빈|UNIST 인공지능대학원/산업공학과9/29 (목) 17:00|302동 105호
How to train your virtual dragon, human, and octopus via deep learning이제희|서울대학교 컴퓨터공학부, NC SOFT9/8 (목) 17:00|302동 105호