@misc{indiciaeea0f45bb8a8f,
  title = {First Experiments with Neural Translation of Informal to Formal Mathematics},
  author = {Qingxiang Wang and Cezary Kaliszyk and Josef Urban},
  year = {2018},
  url = {https://arxiv.org/abs/1805.06502},
  note = {Source identifier: 1805.06502}
}