Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description
| Autor: | Kaliszyk, C., Urban, J., Vyskocil, J., Geuvers, J.H., Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P. |
|---|---|
| Přispěvatelé: | Watt, S., Davenport, J., Sexton, A., Sojka, P., Urban, J., Formal System Analysis |
| Rok vydání: | 2014 |
| Předmět: |
Computer science
business.industry Data Science Formal mathematics computer.software_genre Translation (geometry) Task (project management) Set (abstract data type) Example-based machine translation Component (UML) Corpus based Lecture Notes in Computer Science Artificial intelligence Automated reasoning business computer Natural language processing |
| Zdroj: | Lecture Notes in Computer Science ; 8543, 435-439. Berlin : Springer International Publishing STARTPAGE=435;ENDPAGE=439;TITLE=Lecture Notes in Computer Science ; 8543 Lecture Notes in Computer Science ISBN: 9783319084336 CICM Watt, S.; Davenport, J.; Sexton, A. (ed.), Intelligent Computer Mathematics, pp. 435-439 Intelligent Computer Mathematics (International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings), 435-439 STARTPAGE=435;ENDPAGE=439;TITLE=Intelligent Computer Mathematics (International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings) |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|