Return to search

Translating LaTeX to Coq: A Recurrent Neural Network Approach to Formalizing Natural Language Proofs

No description available.
Identiferoai:union.ndltd.org:OhioLink/oai:etd.ohiolink.edu:ouhonors161919616626269
Date18 May 2021
CreatorsCarman, Benjamin Andrew
PublisherOhio University Honors Tutorial College / OhioLINK
Source SetsOhiolink ETDs
LanguageEnglish
Detected LanguageEnglish
Typetext
Sourcehttp://rave.ohiolink.edu/etdc/view?acc_num=ouhonors161919616626269
Rightsunrestricted, This thesis or dissertation is protected by copyright: all rights reserved. It may not be copied or redistributed beyond the terms of applicable copyright laws.

Page generated in 0.0025 seconds