user: text: Write a concise one-sentence TLDR summary of the scientific paper content below.

Title: Learning Invariants through Soft Unification

Paper content:
Human reasoning involves recognising common underlying principles across many examples by utilising variables.
The by-products of such reasoning are invariants that capture patterns across examples such as "if someone went somewhere then they are there" without mentioning specific people or places.
Humans learn what variables are and how to use them at a young age, and the question this paper addresses is whether machines can also learn and use variables solely from examples without requiring human pre-engineering.
We propose Unification Networks that incorporate soft unification into neural networks to learn variables and by doing so lift examples into invariants that can then be used to solve a given task.
We evaluate our approach on four datasets to demonstrate that learning invariants captures patterns in the data and can improve performance over baselines.
Humans have the ability to process symbolic knowledge and maintain symbolic thought (Unger & Deacon, 1998) .
When reasoning, humans do not require combinatorial enumeration of examples but instead utilise invariant patterns with placeholders replacing specific entities.
Symbolic cognitive models (Lewis, 1999) embrace this perspective with the human mind seen as an information processing system operating on formal symbols such as reading a stream of tokens in natural language.
The language of thought hypothesis (Morton & Fodor, 1978) frames human thought as a structural construct with varying sub-components such as "X went to Y".
By recognising what varies across examples, humans are capable of lifting examples into invariant principles that account for other instances.
This symbolic thought with variables is learned at a young age through symbolic play (Piaget, 2001 ).
For instance a child learns that a sword can be substituted with a stick (Frost et al., 2004) and engage in pretend play.
Although variables are inherent in models of computation and symbolic formalisms, as in first-order logic (Russell & Norvig, 2016) , they are pre-engineered and used to solve specific tasks by means of unification or assignments that bound variables to given values.
However, when learning from data only, being able to recognise when and which symbols should take on different values, i.e. symbols that can act as variables, is crucial for lifting examples into general principles that are invariant across multiple instances.
Figure 1 shows the invariant learned by our approach: if someone is the same thing as someone else then they have the same colour.
With this invariant, our approach can solve all of the training and test examples in task 16 of the bAbI dataset (Weston et al., 2016) .
In this paper we address the question of whether a machine can learn and use the notion of a variable, i.e. a symbol that can take on different values.
For instance, given an example of the form "bernhard is a frog" the machine would learn that the token "bernhard" could be someone else and the token "frog" could be something else.
If we consider unification a selection of the most appropriate value for a variable given a choice of values, we can reframe it as a form of attention.
Attention models (Bahdanau et al., 2015; Luong et al., 2015; Chaudhari et al., 2019) allow neural networks to focus, attend to certain parts of the input often for the purpose of selecting a relevant portion.
Since attention mechanisms are also differentiable they are often jointly learned within a task.
This perspective motivates our idea of a unification mechanism that utilises attention and is therefore fully differentiable which we refer to as soft unification.
Hence, we propose an end-to-end differentiable neural network approach for learning and utilising the notion of a variable that in return can lift examples into invariants used by the network to perform reasoning tasks.
Specifically, we
(i) propose a novel architecture capable of learning and using variables by lifting a given example through soft unification,
(ii) present the empirical results of our approach on four datasets and
(iii) analyse the learned invariants that capture the underlying patterns present in the tasks.
Our implementation using Chainer (Tokui et al., 2015) is publicly available at [link removed](anonymous link provided with submission).
We presented a new approach for learning variables and lifting examples into invariants through the usage of soft unification.
Evaluating on four datasets, we analysed how Unification Networks perform comparatively to existing similar architectures while having the benefit of lifting examples into invariants that capture underlying patterns present in the tasks.
Since our approach is end-toend differentiable, we plan to apply this technique to multi-modal tasks in order to yield multi-modal invariants for example in visual question answering.
A MODEL DETAILS

assistant: text: End-to-end learning of invariant representations with variables across examples such as if someone went somewhere then they are there.