Sagar Indurkhya. Parsing as Deduction Revisited: Using an Automatic Theorem Prover to Solve an SMT Model of a Minimalist Parser. In Antske Fokkens, Vivek Srikumar, editors, Proceedings of the 26th Conference on Computational Natural Language Learning, CoNLL 2022, Abu Dhabi, United Arab Emirates (Hybrid Event), December 7-8, 2022. pages 157-175, Association for Computational Linguistics, 2022. [doi]
Abstract is missing.