logo

For the Inventor, By the Inventor

The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Patent No.:

US 11816457 B1

PDFFull Text
Date of Patent:
Nov. 14, 2023

Filed:

Aug. 28, 2020

Program predictor

Applicant:

Microsoft Technology Licensing, Llc, Redmond, WA (US);

Inventors:

Alexander Lloyd Gaunt, Cambridge, GB;

Sebastian Nowozin, Cambridge, GB;

Marc Manuel Johannes Brockschmidt, Cambridge, GB;

Daniel Stefan Tarlow, Cambridge, GB;

Matej Balog, Bratislava, SK;

Assignee:

Microsoft Technology Licensing, LLC, Redmond, WA (US);

Attorney:

Barta, Jones & Foley, PLLC.

Primary Examiner:

James D Rutten

Int. Cl.
CPC ...
G06F 8/35 (2018.01); G06N 20/00 (2019.01); G06N 20/20 (2019.01); G06F 40/18 (2020.01); G06N 3/044 (2023.01); G06N 5/01 (2023.01); G06N 20/10 (2019.01); G06F 9/445 (2018.01); G06N 3/084 (2023.01); G06N 3/045 (2023.01); G06N 3/048 (2023.01); G06F 17/17 (2006.01); G06F 16/10 (2019.01); G06F 16/903 (2019.01); G06N 5/022 (2023.01);
U.S. Cl.
CPC ...
G06F 8/35 (2013.01); G06F 9/445 (2013.01); G06F 40/18 (2020.01); G06N 3/044 (2023.01); G06N 3/045 (2023.01); G06N 3/048 (2023.01); G06N 3/084 (2013.01); G06N 5/01 (2023.01); G06N 20/00 (2019.01); G06N 20/20 (2019.01); G06F 16/10 (2019.01); G06F 16/90348 (2019.01); G06F 17/175 (2013.01); G06N 5/022 (2013.01); G06N 20/10 (2019.01);
Abstract

A computer program predictor is described which has a processor configured to access a program attribute predictor; and a memory storing a search component configured to search a space of possible programs, to find a program which, given an input data instance and an output data instance, will compute the output data instance from the input data instance, the search being guided by attributes predicted by the attribute predictor given the input data instance and the output data instance.

Find Patent Forward Citations

Loading…