@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",

}