Model compression/optimization enabling new AI paradigm?권세중 (Se Jung Kwon)|NAVER CLOVA11/28 (월) 11:00|302동 107호
[SNU AI Seminar] Toward Resource Efficient Learning and its Computer Vision Applications오태현|POSTECH 전자전기공학과11/24 (목) 17:00|43-1동 402호
When two promising fabless startups who share the same design principle meet by chance in the era of post Moore’s law남이현 (Peter Nam)|(주)파두11/17 (목) 15:30|302동 105호
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호
