%0 Conference Paper %1 conf/cpp/WangBKU20 %A Wang, Qingxiang %A Brown, Chad E. %A Kaliszyk, Cezary %A Urban, Josef %B CPP %D 2020 %E Blanchette, Jasmin %E Hritcu, Catalin %I ACM %K dblp %P 85-98 %T Exploration of neural machine translation in autoformalization of mathematics in Mizar. %U http://dblp.uni-trier.de/db/conf/cpp/cpp2020.html#WangBKU20 %@ 978-1-4503-7097-4

@inproceedings{conf/cpp/WangBKU20, added-at = {2022-03-16T00:00:00.000+0100}, author = {Wang, Qingxiang and Brown, Chad E. and Kaliszyk, Cezary and Urban, Josef}, biburl = {https://www.bibsonomy.org/bibtex/2b65ad6928ce04ea74a782185ae8008fa/dblp}, booktitle = {CPP}, crossref = {conf/cpp/2020}, editor = {Blanchette, Jasmin and Hritcu, Catalin}, ee = {https://www.wikidata.org/entity/Q108482103}, interhash = {7a0377691ae52530f30b68f220b55d99}, intrahash = {b65ad6928ce04ea74a782185ae8008fa}, isbn = {978-1-4503-7097-4}, keywords = {dblp}, pages = {85-98}, publisher = {ACM}, timestamp = {2024-04-09T22:48:37.000+0200}, title = {Exploration of neural machine translation in autoformalization of mathematics in Mizar.}, url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2020.html#WangBKU20}, year = 2020 }