31 citations · 111 across the 8 of their papers we have counts for
1 paper · 1 filter
Qingxiang Wang, Cezary Kaliszyk, Josef Urban
We report on our experiments to train deep neural networks that automatically translate informalized LaTeX-written Mizar texts into the formal Mizar language. To the best of our kn…