Learning Invariants through Soft Unification

09/16/2019
by   Nuri Cingillioglu, et al.
0

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.

READ FULL TEXT
research
08/25/2022

Electronic Appendix to "Input Invariants"

In this electronic appendix to our paper "Input Invariants," accepted at...
research
04/29/2019

Finding Invariants in Deep Neural Networks

We present techniques for automatically inferring invariant properties o...
research
10/25/2019

Polynomial Probabilistic Invariants and the Optional Stopping Theorem

In this paper we present methods for the synthesis of polynomial invaria...
research
05/04/2023

Maximum values of the Sombor-index-like graph invariants of connected graphs

A set of novel vertex-degree-based invariants, similar to the Sombor-ind...
research
04/30/2019

Targeted Synthesis for Programming with Data Invariants

Programmers frequently maintain implicit data invariants, which are rela...
research
08/20/2021

Abduction of trap invariants in parameterized systems

In a previous paper we have presented a CEGAR approach for the verificat...
research
06/21/2011

Discovery of Invariants through Automated Theory Formation

Refinement is a powerful mechanism for mastering the complexities that a...

Please sign up or login with your details

Forgot password? Click here to reset