Qingxiang Wang -

Registered user since Thu 28 Nov 2019

Name:Qingxiang Wang

Affiliation:University of Innsbruck

Contributions

2020

CPP

Author of Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar within the CPP 2020-track