TY  - RPRT
TI  - Lemma Suggesting in PVS using Machine Learning
AU  - Kyle Nguyen
AU  - Mariano Moscato
AU  - J Tanner Slagel
PY  - 2020
UR  - https://ntrs.nasa.gov/citations/20205005258
ID  - 20205005258
ER  -