MizAR 60 for Mizar 50
MizAR 60 for Mizar 50 is one of 9,000 studies in the ScholarPulse dataset. Key details — Authors: Jakubův, Jan, Chvalovský, Karel, Goertzel, Zarathustra, Kaliszyk, Cezary, Olšák, Mirek, Piotrowski, Bartosz; Journal / source: DROPS (Schloss Dagstuhl – Leibniz Center for Informatics); Year: 2023.
| Authors | Jakubův, Jan, Chvalovský, Karel, Goertzel, Zarathustra, Kaliszyk, Cezary, Olšák, Mirek, Piotrowski, Bartosz |
|---|---|
| Journal / source | DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) |
| Year | 2023 |
| Field | Natural Language Processing Techniques |
| Times cited | 76227 |
| Type | preprint |
| DOI / link | https://doi.org/10.4230/lipics.itp.2023.19 |