@inproceedings{21eb7a7c6feb4a0e93d504098895f355,
title = "Developing corpus-based translation methods between informal and formal mathematics : project description",
abstract = "The goal of this project is to (i) accumulate annotated informal/formal mathematical corpora suitable for training semi-automated translation between informal and formal mathematics by statistical machine-translation methods, (ii) to develop such methods oriented at the formalization task, and in particular (iii) to combine such methods with learning-assisted automated reasoning that will serve as a strong semantic component. We describe these ideas, the initial set of corpora, and some initial experiments done over them.",
author = "C. Kaliszyk and J. Urban and J. Vyskocil and J.H. Geuvers",
year = "2014",
doi = "10.1007/978-3-319-08434-3_34",
language = "English",
isbn = "978-3-319-08433-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "435--439",
editor = "S.M. Watt and J.H. Davenport and A.P. Sexton and P. Sojka and J. Urban",
booktitle = "Intelligent Computer Mathematics (International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings)",
address = "Germany",
}