Developing corpus-based translation methods between informal and formal mathematics : project description

C. Kaliszyk, J. Urban, J. Vyskocil, J.H. Geuvers

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

12 Citaten (Scopus)

Samenvatting

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.
Originele taal-2Engels
TitelIntelligent Computer Mathematics (International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings)
RedacteurenS.M. Watt, J.H. Davenport, A.P. Sexton, P. Sojka, J. Urban
Plaats van productieBerlin
UitgeverijSpringer
Pagina's435-439
ISBN van geprinte versie978-3-319-08433-6
DOI's
StatusGepubliceerd - 2014

Publicatie series

NaamLecture Notes in Computer Science
Volume8543
ISSN van geprinte versie0302-9743

Vingerafdruk

Duik in de onderzoeksthema's van 'Developing corpus-based translation methods between informal and formal mathematics : project description'. Samen vormen ze een unieke vingerafdruk.

Citeer dit