Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: WebRobot: Web Robotic Process Automation using Interactive
  Programming-by-Demonstration   It is imperative to democratize robotic process automation (RPA), as RPA has
become a main driver of the digital transformation but is still technically
very demanding to construct, especially for non-experts. In this paper, we
study how to automate an important class of RPA tasks, dubbed web RPA, which
are concerned with constructing software bots that automate interactions across
data and a web browser. Our main contributions are twofold. First, we develop a
formal foundation which allows semantically reasoning about web RPA programs
and formulate its synthesis problem in a principled manner. Second, we propose
a web RPA program synthesis algorithm based on a new idea called speculative
rewriting. This leads to a novel speculate-and-validate methodology in the
context of rewrite-based program synthesis, which has also shown to be both
theoretically simple and practically efficient for synthesizing programs from
demonstrations. We have built these ideas in a new interactive synthesizer
called WebRobot and evaluate it on 76 web RPA benchmarks. Our results show that
WebRobot automated a majority of them effectively. Furthermore, we show that
WebRobot compares favorably with a conventional rewrite-based synthesis
baseline implemented using egg. Finally, we conduct a small user study
demonstrating WebRobot is also usable.

8
The categories of this paper are: hep-ex
9
The categories of this paper are: nlin
33
The categories of this paper are: plasm-ph
26
The categories of this paper are: bayes-an
21
The categories of this paper are: adap-org
6
The categories of this paper are: astro-ph
29
The categories of this paper are: funct-an
0
The categories of this paper are: hep-ph
32
The categories of this paper are: atom-ph
36
The categories of this paper are: cmp-lg
37
The categories of this paper are: supr-con
31
The categories of this paper are: ao-sci
15
The categories of this paper are: nucl-ex
20
The categories of this paper are: acc-phys
16
The categories of this paper are: stat
14
The categories of this paper are: math-ph