"Exploration of Neural Machine Translation in Autoformalization of ..."

Qingxiang Wang et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics