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.:
Date of Patent:
Sep. 10, 2024
Filed:
Mar. 07, 2022
Microsoft Technology Licensing, Llc., Redmond, WA (US);
Colin Bruce Clement, Seattle, WA (US);
Shao Kun Deng, New York City, NY (US);
Xiaoyu Liu, Sammamish, WA (US);
Neelakantan Sundaresan, Bellevue, WA (US);
Alexey Svyatkovskiy, Bellevue, WA (US);
MICROSOFT TECHNOLOGY LICENSING, LLC., Redmond, WA (US);
Abstract
A constrained decoding technique incorporates token constraints into a beam search at each time step of a decoding process in order to generate viable candidate sequences that are syntactically and semantically correct. The token constraints identify source code tokens or sequences of tokens that should appear in a candidate sequence. The token constraints are generated from checking whether a token predicted at each decoding step is feasible for a partial solution based on the production rules of the grammar of the programming language, the syntactic correctness of a partial sequence, and/or static type correctness.