Before revision: Many information retrieval and natural language processing  problems can be formalized as a semantic matchingtask.
After revision: Many natural language processing problems can be formalized as a semantic matchingtask.