NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Lemma Suggesting in PVS using Machine Learning
Document ID
20205005258
Acquisition Source
Langley Research Center
Document Type
Other - Interns Program Exit Deliverable requirement
Authors
Kyle Nguyen (Universities Space Research Association Columbia, Maryland, United States)
Mariano Moscato (National Institute of Aerospace Hampton, Virginia, United States)
J Tanner Slagel (Langley Research Center Hampton, Virginia, United States)
Date Acquired
July 28, 2020
Publication Date
August 5, 2020
Subject Category
Mathematical And Computer Sciences (General)
Meeting Information
Meeting: 2020 Summer Interns Exit Deliverables
Location: Hampton, VA
Country: US
Start Date: August 5, 2020
End Date: August 5, 2020
Sponsors: Joseph Tanner Slagel
Funding Number(s)
WBS: 340428.02.20.07.01
Distribution Limits
Public
Copyright
Use by or on behalf of the US Gov. Permitted.
Technical Review
Single Expert
Keywords
prototyped verification system
lemma suggesting
machine learning
deep learning

Related Records

There are no records associated with this record.
No Preview Available