Login / Signup
CoStar: a verified ALL(*) parser.
Sam Lasser
Chris Casinghino
Kathleen Fisher
Cody Roux
Published in:
PLDI (2021)
Keyphrases
</>
natural language
dependency parsing
natural language processing
data sets
penn treebank
genetic algorithm
dependency parser
database
database systems
multiresolution
natural language parsing
link grammar