Microsoft Technology Licensing, LLC

Apple Inc.

Carnegie Mellon University

Emilio Parisotto

Ruslan Salakhutdinov

Pushmeet Kohli

Jian Zhang

Rishabh Singh

Devendra Singh Chaplot

Abdelrahman S A Mohamed

Dengyong Zhou

Lihong Li

A computer-implemented system and method for storing data associated with an agent in a multi-dimensional environment via a memory architecture. The memory architecture is structured so that each unique position in the environment corresponds to a unique position within the memory architecture, thereby allowing the memory architecture to store features located at a particular position in the environment in a memory location specific to that location. As the agent traverses the environment, the agent compares the features at the agent's particular position to a summary of the features stored throughout the memory architecture and writes the features that correspond to the summary to the coordinates in the memory architecture that correspond to the agent's position. The system and method allows agents to learn, using a reinforcement signal, how to behave when acting in an environment that requires storing information over long time steps.

Neural map

In accordance with some embodiments, a method is performed at a device with one or more processors and non-transitory memory. The method includes obtaining location vector data characterizing an object. The method includes determining a neural pose graph associated with a respective time-period based on an initial local pose estimation as a function of respective location vector data. The method includes determining a meta pose estimation associated with the respective time-period by aggregating the neural pose graph associated with the respective time-period and one or more other neural pose graphs associated with one or more temporally adjacent time-periods. The method includes synthesizing a corrected pose estimation by correcting the meta pose estimation associated with the respective time-period based on a function of the meta pose estimation associated with the respective time-period and meta pose estimations associated with one or more temporally adjacent time-periods in order to correct accumulated errors in the initial local pose estimation.

Method and device for improved localization and mapping

Generally discussed herein are devices, systems, and methods for encoding input-output examples. A method of generating a program using an encoding of input-output examples, may include processing an input example of the input-output examples, using a first long short term memory (LSTM) neural network, one character at a time to produce an input feature vector, processing an output example associated with the input example in the input-output examples, using the LSTM neural network, one character at a time to produce an output feature vector, determining (a) a cross-correlation between the input feature vector and the output feature vector or (b) previously computed feature vectors for a different input-output example that are sufficiently close to the input feature vector and the output feature vector, respectively, and using the determined cross-correlation or previously computed vector, generating a program consistent with the input example and the output example.

Input-output example encoding

Described are systems, methods, and computer-readable media for program generation in a domain-specific language based on input-output examples. In accordance with various embodiments, a neural-network-based program generation model conditioned on an encoded set of input-output examples is used to generate a program tree by iteratively expanding a partial program tree, beginning with a root node and ending when all leaf nodes are terminal.

Neural network for program synthesis

Growing community of inventors

Pittsburgh, PA, United States of America

Emilio Parisotto