Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Logically Consistent Adversarial Attacks for Soft Theorem Provers   Recent efforts within the AI community have yielded impressive results
towards "soft theorem proving" over natural language sentences using language
models. We propose a novel, generative adversarial framework for probing and
improving these models' reasoning capabilities. Adversarial attacks in this
domain suffer from the logical inconsistency problem, whereby perturbations to
the input may alter the label. Our Logically consistent AdVersarial Attacker,
LAVA, addresses this by combining a structured generative process with a
symbolic solver, guaranteeing logical consistency. Our framework successfully
generates adversarial attacks and identifies global weaknesses common across
multiple target models. Our analyses reveal naive heuristics and
vulnerabilities in these models' reasoning capabilities, exposing an incomplete
grasp of logical deduction under logic programs. Finally, in addition to
effective probing of these models, we show that training on the generated
samples improves the target model's performance.

8
The categories of this paper are: hep-ex
23
The categories of this paper are: solv-int
9
The categories of this paper are: nlin
33
The categories of this paper are: plasm-ph
6
The categories of this paper are: astro-ph
14
The categories of this paper are: math-ph
26
The categories of this paper are: bayes-an
28
The categories of this paper are: alg-geom
37
The categories of this paper are: supr-con
34
The categories of this paper are: chem-ph
24
The categories of this paper are: dg-ga
15
The categories of this paper are: nucl-ex
32
The categories of this paper are: atom-ph
35
The categories of this paper are: mtrl-th
12
The categories of this paper are: nucl-th
7
The categories of this paper are: hep-th