PATENT CLAIM ANALYSIS

Application Number: 15961423
Application Type: Utility
Filing Date: 2018-04
Publication Date: 2019-10
Patent Classification: ["717", "136000"]

Abstract:
Systems, methods, and computer-executable instructions for synthesizing programs using a prefix of an output. A specification of a task to synthesize a program in a domain specific language (DSL) is received. The specification includes an input and a corresponding prefix of the output. Programs for the task are synthesized. The synthesizing includes generating sub-goals based on the specification. Each of the synthesized programs include a solved subset of sub-goals and each sub-goal includes a symbol in the DSL. The symbol is transformed based on the DSL. The sub-goals are solved based on the transforming of the symbol using the input and the corresponding prefix of the output to generate the synthesized programs. The prefix of the output matches a prefix of an output from each of the plurality of synthesized programs.

Claim (Index 13):
The system of  claim 12 , wherein the electronic processor is further configured to:\n receive a corrective output prefix for a first input and a corresponding erroneous output, wherein the additional input comprises the first input, and wherein a first set of input and output examples precedes the first input in the additional data; and select a new synthesized program from the plurality of synthesized programs, wherein a prefix of output from the new synthesized program using the first input matches the corrective output prefix.

Metadata:
- Claim Count in Document: 9.0
- Percentile: 91.0
- Lexical Diversity: 2.57143
- Patent Class: 717.0
- Transitional Phrase Type: none
- Component Type: 0
- Foreign Priority: False
- Related Applications: ['15885319', '14636664', '13653581', '13487266', '14467460']

Analysis Scores:
- 35 USC 101 Eligibility (BERT): 0.3082449710160624
- 35 USC 102 Novelty (BERT): 0.5045566395966292
- Combined Prediction Score: 0.3278761378741191
- Mean Citation Score: 125.002372
- Max Citation Score: 163.97093
- Similarity Product: 110.07472030731618

Labels:
- Claim Label 101: 1
- Claim Label 102: 0
- Claim Label 103: 1
- Claim Label 112: 1
- Combined Label: 0
- Label 101 Adjusted: 1

Dataset: test