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 1):
A method for synthesizing programs using a prefix of an output, the method comprising operations performed using an electronic processor, the operations comprising:\n receiving a specification of a task to synthesize a program in a domain specific language (DSL), wherein the specification comprises an input and a corresponding prefix of the output; synthesizing a plurality of programs for the task, wherein the synthesizing comprises: generating a plurality of sub-goals based on the specification, wherein each of the plurality of synthesized programs comprise a solved subset of the plurality of the sub-goals, and wherein a sub-goal comprises a symbol in the DSL; transforming the symbol based on the DSL and the prefix of the output, and solving the plurality of sub-goals based on the transforming of the symbol using the input and the corresponding prefix of the output to generate the plurality of synthesized programs, wherein the prefix of the output matches a prefix of an output from each of the plurality of synthesized programs.

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

Analysis Scores:
- 35 USC 101 Eligibility (BERT): 0.2890923429372388
- 35 USC 102 Novelty (BERT): 0.4762807174015892
- Combined Prediction Score: 0.3078111803836738
- Mean Citation Score: 125.002372
- Max Citation Score: 163.97093
- Similarity Product: 136.46038874620078

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