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

29 citations · 56 across the 9 of their papers we have counts for

collaborators
Showing cs.CLShow all

1 paper · 1 filter

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…