Developing Corpus-based Translation Methods between Informal and Formal Mathematics: Project Description

14 May 2014

Papers citing "Developing Corpus-based Translation Methods between Informal and Formal Mathematics: Project Description"

2 / 2 papers shown

Title
First Experiments with Neural Translation of Informal to Formal Mathematics Qingxiang Wang C. Kaliszyk Josef Urban AI4CE 15 56 0 10 May 2018
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 54 131 0 10 Oct 2013