Parsing as Deduction Revisited: Using an Automatic Theorem Prover to Solve an SMT Model of a Minimalist Parser.

Sagar Indurkhya

Published in: CoNLL (2022)

Keyphrases

theorem prover
theorem proving
probabilistic model
natural language
inference rules
artificial intelligence
formal model
word alignment
computer algebra