Papers by Nathan Rasmussen
A Corpus of Encyclopedia Articles with Logical Forms (2020.lrec-1)
Copied to clipboard
| Challenge: | a corpus of annotated typed lambda calculus translations is described in this paper . typed Lambda Calculus expressions are intended to serve as a theory-neutral formal representation . |
| Approach: | They describe an annotated corpus of typed lambda calculus translations for 2,000 sentences in Simple English Wikipedia. |
| Outcome: | The annotated typed lambda calculus translations are used in a corpus of 2,000 sentences in Simple English Wikipedia. |