Learning to Parse on Aligned Corpora (Rough Diamond)

Cezary Kaliszyk, Josef Urban, and Jiří Vyskočil
Proceedings of the 6th International Conference on Interactive Theorem Proving (ITP 2015), Lecture Notes in Computer Science 9236, pp. 227 – 233, 2015.

abstract   BibTeX   PDF   doi:10.1007/978-3-319-22102-1_15  
© Springer International Publishing Switzerland