MizAR 60 for Mizar 50
2023 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 76K citations
https://doi.org/10.4230/lipics.itp.2023.19
Research Topic
This cluster of papers focuses on statistical machine translation, neural machine translation, dependency parsing, word sense disambiguation, and part-of-speech tagging. It also covers topics such as corpus linguistics, syntax-based translation models, multilingual neural machine translation, and language modeling.
Physical Sciences / Computer Science / Artificial Intelligence
https://doi.org/10.4230/lipics.itp.2023.19
https://doi.org/10.5555/944919.944937
https://doi.org/10.3115/v1/d14-1179
https://doi.org/10.3115/1073083.1073135
https://doi.org/10.48550/arxiv.1310.4546
https://doi.org/10.48550/arxiv.1409.0473