System Description: Statistical Parsing of Informalized Mizar Formulas.

Cezary Kaliszyk, Josef Urban, Jir Vyskocil

Browse the full SYNASC paper archive.