TY  - RPRT
TI  - Intelligent Lemma Selection for Formal Methods Proofs
AU  - Connor T Baumler
AU  - Mariano M Moscato
AU  - J Tanner Slagel
UR  - https://ntrs.nasa.gov/citations/20205005199
ID  - 20205005199
ER  -