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

Sagar Indurkhya |

Paper Details:

Month: December
Year: 2022
Location: Abu Dhabi, United Arab Emirates (Hybrid)
Venue: CoNLL |

Citations

URL

No Citations Yet

Field Of Study