In this overview talk, I will first explain several mathematical approaches of mirror symmetry. Then I will focus on the mathematical theory of Witten’s gauged linear sigma model based on the recent joint work with Gang Tian, which settles the mathematical foundation of the approach of Hori and Vafa.