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"

3 / 3 papers shown

Title
Translating SUMO-K to Higher-Order Set Theory C. Brown A. Pease Josef Urban LRM 14 2 0 13 May 2023
First Experiments with Neural Translation of Informal to Formal Mathematics Qingxiang Wang C. Kaliszyk Josef Urban AI4CE 17 56 0 10 May 2018
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 54 131 0 10 Oct 2013