Abstract: Methods and systems for a reinforcement learning system. A spatial and temporal representation of an observed state of an environment is encoded. A previous state is estimated from a given state and a size of a reward is adjusted based on a difference between the estimated previous state and the previous state.

Abstract: A specification of a property required to be upheld by a computerized machine learning system is obtained. A training data set corresponding to the property and inputs and outputs of the system is built. The system is trained on the training data set. Activity of the system is monitored before, during, and after the training. Based on the monitoring, performance of the system is evaluated to determine whether the system, once trained on the training data set, upholds the property.

Abstract: During end-to-end training of a Deep Neural Network (DNN), a differentiable estimator subnetwork is operated to estimate a functionality of an external software application. Then, during inference by the trained DNN, the differentiable estimator subnetwork is replaced with the functionality of the external software application, by enabling API communication between the DNN and the external software application.

Abstract: In some examples, a system for executing natural language processing techniques can include a processor to detect text comprising a word and a number. The processor can also embed, via a word embedding model, the word into a first vector of a vector space and embed the number by converting the number into a second vector of the vector space. Additionally, the processor can train a deep neural network to execute instructions based on the first embedded vector of the word and the second embedded vector of the number. Furthermore, the processor can process an instruction based on the trained deep neural network.

Abstract: A specification of a property required to be upheld by a computerized machine learning system is obtained. A training data set corresponding to the property and inputs and outputs of the system is built. The system is trained on the training data set. Activity of the system is monitored before, during, and after the training. Based on the monitoring, performance of the system is evaluated to determine whether the system, once trained on the training data set, upholds the property.

Abstract: Methods and systems for a reinforcement learning system. A spatial and temporal representation of an observed state of an environment is encoded. A previous state is estimated from a given state and a size of a reward is adjusted based on a difference between the estimated previous state and the previous state.

Abstract: In some examples, a system for executing natural language processing techniques can include a processor to detect text comprising a word and a number. The processor can also embed, via a word embedding model, the word into a first vector of a vector space and embed the number by converting the number into a second vector of the vector space. Additionally, the processor can train a deep neural network to execute instructions based on the first embedded vector of the word and the second embedded vector of the number. Furthermore, the processor can process an instruction based on the trained deep neural network.

Abstract: During end-to-end training of a Deep Neural Network (DNN), a differentiable estimator subnetwork is operated to estimate a functionality of an external software application. Then, during inference by the trained DNN, the differentiable estimator subnetwork is replaced with the functionality of the external software application, by enabling API communication between the DNN and the external software application.