Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Supervised Bayesian Specification Inference from Demonstrations   When observing task demonstrations, human apprentices are able to identify
whether a given task is executed correctly long before they gain expertise in
actually performing that task. Prior research into learning from demonstrations
(LfD) has failed to capture this notion of the acceptability of a task's
execution; meanwhile, temporal logics provide a flexible language for
expressing task specifications. Inspired by this, we present Bayesian
specification inference, a probabilistic model for inferring task specification
as a temporal logic formula. We incorporate methods from probabilistic
programming to define our priors, along with a domain-independent likelihood
function to enable sampling-based inference. We demonstrate the efficacy of our
model for inferring specifications, with over 90% similarity observed between
the inferred specification and the ground truth, both within a synthetic domain
and during a real-world table setting task.

7
The categories of this paper are: hep-th
4
The categories of this paper are: cond-mat
2
The categories of this paper are: math
16
The categories of this paper are: stat
26
The categories of this paper are: bayes-an
25
The categories of this paper are: patt-sol
3
The categories of this paper are: physics
15
The categories of this paper are: nucl-ex
19
The categories of this paper are: eess
35
The categories of this paper are: mtrl-th
30
The categories of this paper are: q-alg
11
The categories of this paper are: hep-lat
33
The categories of this paper are: plasm-ph
37
The categories of this paper are: supr-con
29
The categories of this paper are: funct-an
8
The categories of this paper are: hep-ex