Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Automatic Inference of Minimalist Grammars using an SMT-Solver   We introduce (1) a novel parser for Minimalist Grammars (MG), encoded as a
system of first-order logic formulae that may be evaluated using an SMT-solver,
and (2) a novel procedure for inferring Minimalist Grammars using this parser.
The input to this procedure is a sequence of sentences that have been annotated
with syntactic relations such as semantic role labels (connecting arguments to
predicates) and subject-verb agreement. The output of this procedure is a set
of minimalist grammars, each of which is able to parse the sentences in the
input sequence such that the parse for a sentence has the same syntactic
relations as those specified in the annotation for that sentence. We applied
this procedure to a set of sentences annotated with syntactic relations and
evaluated the inferred grammars using cost functions inspired by the Minimum
Description Length principle and the Subset principle. Inferred grammars that
were optimal with respect to certain combinations of these cost functions were
found to align with contemporary theories of syntax.

31
The categories of this paper are: ao-sci
11
The categories of this paper are: hep-lat
17
The categories of this paper are: q-fin
24
The categories of this paper are: dg-ga
22
The categories of this paper are: chao-dyn
30
The categories of this paper are: q-alg
12
The categories of this paper are: nucl-th
20
The categories of this paper are: acc-phys
36
The categories of this paper are: cmp-lg
29
The categories of this paper are: funct-an
0
The categories of this paper are: hep-ph
13
The categories of this paper are: quant-ph
16
The categories of this paper are: stat
19
The categories of this paper are: eess
6
The categories of this paper are: astro-ph
3
The categories of this paper are: physics