Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Automatic Synthesis of Geometry Problems for an Intelligent Tutoring
  System   This paper presents an intelligent tutoring system, GeoTutor, for Euclidean
Geometry that is automatically able to synthesize proof problems and their
respective solutions given a geometric figure together with a set of properties
true of it. GeoTutor can provide personalized practice problems that address
student deficiencies in the subject matter.

6
The categories of this paper are: astro-ph
5
The categories of this paper are: gr-qc
21
The categories of this paper are: adap-org
14
The categories of this paper are: math-ph
17
The categories of this paper are: q-fin
22
The categories of this paper are: chao-dyn
16
The categories of this paper are: stat
35
The categories of this paper are: mtrl-th
8
The categories of this paper are: hep-ex
18
The categories of this paper are: econ
2
The categories of this paper are: math
9
The categories of this paper are: nlin
33
The categories of this paper are: plasm-ph
23
The categories of this paper are: solv-int
13
The categories of this paper are: quant-ph
26
The categories of this paper are: bayes-an