Automating the Analysis of Parsing Algorithms (and other Dynamic Programs)

Tim Vieira, Ryan Cotterell, Jason Eisner

Much algorithmic research in NLP aims to efficiently manipulate rich formal structures. An algorithm designer typically seeks to provide guarantees about their proposed algorithm -…