Abstract: Example embodiments of aspects of the present disclosure provide an example computer-implemented method for improved prompting of a machine-learned model. The example method can include obtaining an instructive sequence descriptive of an instructive query, an instructive response, and an instructive trace of intermediate states from the instructive query to the instructive response. The example method can include inputting, to a machine-learned model, the instructive sequence and an operative query, wherein the machine-learned model is configured to process the operative query with attention over the instructive sequence. The example method can include generating, using the machine-learned model and responsive to the operative query, an operative response.

Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for adjusting neural network resource usage. One of the methods includes receiving a network input for processing by a task neural network, the task neural network comprising a plurality of neural network layers; receiving a usage input specifying a respective weight for each of one or more usage factors, wherein each usage factor impacts how many computational resources are used by the task neural network during the processing of the network input; and processing the network input using the task neural network in accordance with the usage input to generate a network output for the network input, comprising: selecting, based at least on the usage input, a proper subset of the plurality of neural network layers to be active while processing the network input, and processing the network input using only the selected neural network layers.

Abstract: An example method for pretraining a machine-learned model is provided. The example method includes obtaining a plurality of different combinations of configuration parameters of a pretraining objective framework. The example method includes generating, using the pretraining objective framework, a plurality of corrupted training examples from one or more training examples, wherein the plurality of corrupted training examples are respectively generated according to the plurality of different combinations. The example method includes inputting the plurality of corrupted training examples into the machine-learned model, wherein the machine-learned model is configured to generate uncorrupted subportions corresponding to corrupted subportions of the corrupted training examples. The example method includes obtaining, from the machine-learned model, a plurality of outputs respectively generated by the machine-learned model based on the plurality of corrupted training examples.

Abstract: Methods, systems, and apparatus, including computer programs encoded on a computer storage medium, for providing a data sample in response to a request for a data sample. In one aspect, a method comprises: receiving a request for a new data sample; until a candidate new data sample is generated that satisfies an acceptance criterion, performing operations comprising: generating a candidate new data sample using a generator neural network; processing the candidate new data sample using a discriminator neural network to generate an imitation score; and determining, from the imitation score, whether the candidate new data sample satisfies the acceptance criterion; and providing the candidate new data sample that satisfies the acceptance criterion in response to the received request.

Abstract: The present disclosure provides systems and methods for debugging neural networks. In one example, a computer-implemented method is provided, which includes obtaining, by one or more computing devices, one or more inputs from an input corpus. The method further includes mutating, by the one or more computing devices, the one or more inputs and providing the one or more mutated inputs to a neural network; obtaining, by the one or more computing devices as a result of the neural network processing the one or more mutated inputs, a set of coverage arrays; determining, by the one or more computing devices based at least in part on the set of coverage arrays, whether the one or more mutated inputs provide new coverage; and upon determining that the one or more mutated inputs provide new coverage, adding the one or more mutated inputs to the input corpus.

Abstract: Generally, the present disclosure is directed to the generation and use of property signatures for computer programs. In particular, property signatures can serve as a representation for programs and program specifications meant for consumption by machine learning algorithms. Given a function with input type ?in and output type ?out, a property can be a function of type: (?in, ?out)?Bool that (e.g., informally) describes some simple property of the function under consideration. For instance, if ?in and ?out are both lists of the same type, one property might ask ‘is the input list the same length as the output list?’.

Abstract: The present disclosure provides systems and methods for debugging neural networks. In one example, a computer-implemented method is provided, which includes obtaining, by one or more computing devices, one or more inputs from an input corpus. The method further includes mutating, by the one or more computing devices, the one or more inputs and providing the one or more mutated inputs to a neural network; obtaining, by the one or more computing devices as a result of the neural network processing the one or more mutated inputs, a set of coverage arrays; determining, by the one or more computing devices based at least in part on the set of coverage arrays, whether the one or more mutated inputs provide new coverage; and upon determining that the one or more mutated inputs provide new coverage, adding the one or more mutated inputs to the input corpus.

Abstract: Methods, systems, and apparatus, including computer programs encoded on a computer storage medium, for providing a data sample in response to a request for a data sample. In one aspect, a method comprises: receiving a request for a new data sample; until a candidate new data sample is generated that satisfies an acceptance criterion, performing operations comprising: generating a candidate new data sample using a generator neural network; processing the candidate new data sample using a discriminator neural network to generate an imitation score; and determining, from the imitation score, whether the candidate new data sample satisfies the acceptance criterion; and providing the candidate new data sample that satisfies the acceptance criterion in response to the received request.

Abstract: The present disclosure provides systems and methods for debugging neural networks. In one example, a computer-implemented method is provided, which includes obtaining, by one or more computing devices, one or more inputs from an input corpus. The method further includes mutating, by the one or more computing devices, the one or more inputs and providing the one or more mutated inputs to a neural network; obtaining, by the one or more computing devices as a result of the neural network processing the one or more mutated inputs, a set of coverage arrays; determining, by the one or more computing devices based at least in part on the set of coverage arrays, whether the one or more mutated inputs provide new coverage; and upon determining that the one or more mutated inputs provide new coverage, adding the one or more mutated inputs to the input corpus.

Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for adjusting neural network resource usage. One of the methods includes receiving a network input for processing by a task neural network, the task neural network comprising a plurality of neural network layers; receiving a usage input specifying a respective weight for each of one or more usage factors, wherein each usage factor impacts how many computational resources are used by the task neural network during the processing of the network input; and processing the network input using the task neural network in accordance with the usage input to generate a network output for the network input, comprising: selecting, based at least on the usage input, a proper subset of the plurality of neural network layers to be active while processing the network input, and processing the network input using only the selected neural network layers.