-
公开(公告)号:US20230185545A1
公开(公告)日:2023-06-15
申请号:US18165047
申请日:2023-02-06
Applicant: Google LLC
Inventor: Kensen Shi , Rishabh Singh , David J. Bieber
Abstract: The present disclosure provides systems and methods for synthesizing computer-readable code based on the receipt of input and output examples. A computing system in accordance with the disclosure can be configured to receive a given input and output, access and library of operations, and perform a search of a library of operations (e.g., transpose, slice, norm, etc.) that can be applied to the input. By applying the operations to the input and tracking the results, the computing system may identify an expression comprising one or a combination of operations that when applied to the input generates the output. In this manner, implementations of the disclosure may be used to identify one or more solutions that a user having access to the library of operations may use to generate the output from the input.
-
公开(公告)号:US20220179625A1
公开(公告)日:2022-06-09
申请号:US17676601
申请日:2022-02-21
Applicant: Google LLC
Inventor: Kensen Shi , Rishabh Singh , David J. Bieber
Abstract: The present disclosure provides systems and methods for synthesizing computer-readable code based on the receipt of input and output examples. A computing system in accordance with the disclosure can be configured to receive a given input and output, access and library of operations, and perform a search of a library of operations (e.g., transpose, slice, norm, etc.) that can be applied to the input. By applying the operations to the input and tracking the results, the computing system may identify an expression comprising one or a combination of operations that when applied to the input generates the output. In this manner, implementations of the disclosure may be used to identify one or more solutions that a user having access to the library of operations may use to generate the output from the input.
-
公开(公告)号:US11875139B2
公开(公告)日:2024-01-16
申请号:US18165047
申请日:2023-02-06
Applicant: Google LLC
Inventor: Kensen Shi , Rishabh Singh , David J. Bieber
Abstract: The present disclosure provides systems and methods for synthesizing computer-readable code based on the receipt of input and output examples. A computing system in accordance with the disclosure can be configured to receive a given input and output, access and library of operations, and perform a search of a library of operations (e.g., transpose, slice, norm, etc.) that can be applied to the input. By applying the operations to the input and tracking the results, the computing system may identify an expression comprising one or a combination of operations that when applied to the input generates the output. In this manner, implementations of the disclosure may be used to identify one or more solutions that a user having access to the library of operations may use to generate the output from the input.
-
公开(公告)号:US20210019125A1
公开(公告)日:2021-01-21
申请号:US16929467
申请日:2020-07-15
Applicant: Google LLC
Inventor: Kensen Shi , Rishabh Singh , David J. Bieber
Abstract: The present disclosure provides systems and methods for synthesizing computer-readable code based on the receipt of input and output examples. A computing system in accordance with the disclosure can be configured to receive a given input and output, access and library of operations, and perform a search of a library of operations (e.g., transpose, slice, norm, etc.) that can be applied to the input. By applying the operations to the input and tracking the results, the computing system may identify an expression comprising one or a combination of operations that when applied to the input generates the output. In this manner, implementations of the disclosure may be used to identify one or more solutions that a user having access to the library of operations may use to generate the output from the input.
-
公开(公告)号:US20240211218A1
公开(公告)日:2024-06-27
申请号:US18529387
申请日:2023-12-05
Applicant: Google LLC
Inventor: Kensen Shi , Rishabh Singh , David J. Bieber
Abstract: The present disclosure provides systems and methods for synthesizing computer-readable code based on the receipt of input and output examples. A computing system in accordance with the disclosure can be configured to receive a given input and output, access and library of operations, and perform a search of a library of operations (e.g., transpose, slice, norm, etc.) that can be applied to the input. By applying the operations to the input and tracking the results, the computing system may identify an expression comprising one or a combination of operations that when applied to the input generates the output. In this manner, implementations of the disclosure may be used to identify one or more solutions that a user having access to the library of operations may use to generate the output from the input.
-
公开(公告)号:US11573774B2
公开(公告)日:2023-02-07
申请号:US17676601
申请日:2022-02-21
Applicant: Google LLC
Inventor: Kensen Shi , Rishabh Singh , David J. Bieber
Abstract: The present disclosure provides systems and methods for synthesizing computer-readable code based on the receipt of input and output examples. A computing system in accordance with the disclosure can be configured to receive a given input and output, access and library of operations, and perform a search of a library of operations (e.g., transpose, slice, norm, etc.) that can be applied to the input. By applying the operations to the input and tracking the results, the computing system may identify an expression comprising one or a combination of operations that when applied to the input generates the output. In this manner, implementations of the disclosure may be used to identify one or more solutions that a user having access to the library of operations may use to generate the output from the input.
-
公开(公告)号:US11256485B2
公开(公告)日:2022-02-22
申请号:US16929467
申请日:2020-07-15
Applicant: Google LLC
Inventor: Kensen Shi , Rishabh Singh , David J. Bieber
Abstract: The present disclosure provides systems and methods for synthesizing computer-readable code based on the receipt of input and output examples. A computing system in accordance with the disclosure can be configured to receive a given input and output, access and library of operations, and perform a search of a library of operations (e.g., transpose, slice, norm, etc.) that can be applied to the input. By applying the operations to the input and tracking the results, the computing system may identify an expression comprising one or a combination of operations that when applied to the input generates the output. In this manner, implementations of the disclosure may be used to identify one or more solutions that a user having access to the library of operations may use to generate the output from the input.
-
-
-
-
-
-