conftrace_

syntactic derivation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

automatic theorem proving (1) minimalist grammar (1) smt solver (1) syntactic parsing (1) constraint solving (1)

Papers

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