A Verified LL(1) Parser Generator.

Sam Lasser Chris Casinghino Kathleen Fisher Cody Roux

Published in: ITP (2019)

Keyphrases

natural language
natural language processing
dependency parsing
tree adjoining grammar
database
real time
data sets
artificial intelligence
social networks
multi agent systems
question answering
semantic roles
dependency structure
phrase structure
penn treebank