Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Program Synthesis with Pragmatic Communication   Program synthesis techniques construct or infer programs from user-provided
specifications, such as input-output examples. Yet most specifications,
especially those given by end-users, leave the synthesis problem radically
ill-posed, because many programs may simultaneously satisfy the specification.
Prior work resolves this ambiguity by using various inductive biases, such as a
preference for simpler programs. This work introduces a new inductive bias
derived by modeling the program synthesis task as rational communication,
drawing insights from recursive reasoning models of pragmatics. Given a
specification, we score a candidate program both on its consistency with the
specification, and also whether a rational speaker would chose this particular
specification to communicate that program. We develop efficient algorithms for
such an approach when learning from input-output examples, and build a
pragmatic program synthesizer over a simple grid-like layout domain. A user
study finds that end-user participants communicate more effectively with the
pragmatic program synthesizer over a non-pragmatic one.

16
The categories of this paper are: stat
18
The categories of this paper are: econ
21
The categories of this paper are: adap-org
14
The categories of this paper are: math-ph
19
The categories of this paper are: eess
3
The categories of this paper are: physics
12
The categories of this paper are: nucl-th
24
The categories of this paper are: dg-ga
31
The categories of this paper are: ao-sci
17
The categories of this paper are: q-fin
33
The categories of this paper are: plasm-ph
37
The categories of this paper are: supr-con
13
The categories of this paper are: quant-ph
27
The categories of this paper are: comp-gas
26
The categories of this paper are: bayes-an
4
The categories of this paper are: cond-mat