Learning to Format Coq Code Using Language Models.

Pengyu Nie Karl Palmskog Junyi Jessy Li Milos Gligoric

Published in: CoRR (2020)

Keyphrases

language model
language modeling
probabilistic model
n gram
information retrieval
document retrieval
error rate
speech recognition