IR4.18 Synonym expansion: Google tilde - Victor Lavrenko - AI深度探索：從機器學習到NLP精通