Finding counterexamples from parsing conflicts.

Chinawat Isradisaikul Andrew C. Myers

Published in: PLDI (2015)

Keyphrases

cooperative
data sets
real time
databases
neural network
wordnet
pattern matching
conflict resolution
intermediate representation
natural language parsing