Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar
doi 10.1145/3372885.3373827
Full Text
Open PDFAbstract
Available in full text
Date
January 20, 2020
Authors
Publisher
ACM
Available in full text
January 20, 2020
ACM