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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

12 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationIntelligent Computer Mathematics (International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings)
EditorsS.M. Watt, J.H. Davenport, A.P. Sexton, P. Sojka, J. Urban
Place of PublicationBerlin
PublisherSpringer
Pages435-439
ISBN (Print)978-3-319-08433-6
DOIs
Publication statusPublished - 2014

Publication series

NameLecture Notes in Computer Science
Volume8543
ISSN (Print)0302-9743

Fingerprint

Dive into the research topics of 'Developing corpus-based translation methods between informal and formal mathematics : project description'. Together they form a unique fingerprint.

Cite this