activity
20162026
most citedHolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving

29 citations · 71 across the 22 of their papers we have counts for

collaborators
Showing 2018 · cs.CLShow all

1 paper · 2 filters

cs.CL2018

First Experiments with Neural Translation of Informal to Formal Mathematics

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…