Patents by Inventor Agustín Matías Dal Lago

Agustín Matías Dal Lago has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Publication number: 20230244452
    Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for generating computer code using neural networks. One of the methods includes receiving description data describing a computer programming task; receiving a first set of inputs for the computer programming task; generating a plurality of candidate computer programs by sampling a plurality of output sequences from a set of one or more generative neural networks; for each candidate computer program in a subset of the candidate computer programs and for each input in the first set: executing the candidate computer program on the input to generate an output; and selecting, from the candidate computer programs, one or more computer programs as synthesized computer programs for performing the computer programming task based at least in part on the outputs generated by executing the candidate computer programs in the subset on the inputs in the first set of inputs.
    Type: Application
    Filed: February 2, 2023
    Publication date: August 3, 2023
    Inventors: Yujia Li, David Hugo Choi, Junyoung Chung, Nathaniel Arthur Kushman, Julian Schrittwieser, Rémi Leblond, Thomas Edward Eccles, James Thomas Keeling, Felix Axel Gimeno Gil, Agustín Matías Dal Lago, Thomas Keisuke Hubert, Peter Choy, Cyprien de Masson d'Autume, Esme Sutherland Robson, Oriol Vinyals