Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Practical Online Assessment of Mathematical Proof   We discuss a practical method for assessing mathematical proof online. We
examine the use of faded worked examples and reading comprehension questions to
understand proof. By breaking down a given proof, we formulate a checklist that
can be used to generate comprehension questions which can be assessed
automatically online. We then provide some preliminary results of deploying
such questions.

32
The categories of this paper are: atom-ph
9
The categories of this paper are: nlin
24
The categories of this paper are: dg-ga
13
The categories of this paper are: quant-ph
16
The categories of this paper are: stat
20
The categories of this paper are: acc-phys
34
The categories of this paper are: chem-ph
11
The categories of this paper are: hep-lat
21
The categories of this paper are: adap-org
27
The categories of this paper are: comp-gas
33
The categories of this paper are: plasm-ph
7
The categories of this paper are: hep-th
5
The categories of this paper are: gr-qc
23
The categories of this paper are: solv-int
25
The categories of this paper are: patt-sol
35
The categories of this paper are: mtrl-th