Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Complexity-based partitioning of CSFI problem instances with
  Transformers   In this paper, we propose a two-steps approach to partition instances of the
Conjunctive Normal Form (CNF) Syntactic Formula Isomorphism problem (CSFI) into
groups of different complexity. First, we build a model, based on the
Transformer architecture, that attempts to solve instances of the CSFI problem.
Then, we leverage the errors of such model and train a second Transformer-based
model to partition the problem instances into groups of different complexity,
thus detecting the ones that can be solved without using too expensive
resources. We evaluate the proposed approach on a pseudo-randomly generated
dataset and obtain promising results. Finally, we discuss the possibility of
extending this approach to other problems based on the same type of textual
representation.

18
The categories of this paper are: econ
16
The categories of this paper are: stat
0
The categories of this paper are: hep-ph
21
The categories of this paper are: adap-org
24
The categories of this paper are: dg-ga
19
The categories of this paper are: eess
30
The categories of this paper are: q-alg
26
The categories of this paper are: bayes-an
3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
34
The categories of this paper are: chem-ph
9
The categories of this paper are: nlin
14
The categories of this paper are: math-ph
35
The categories of this paper are: mtrl-th
37
The categories of this paper are: supr-con
36
The categories of this paper are: cmp-lg