公开(公告)号：US20210248492A1

公开(公告)日：2021-08-12

申请号：US17170305

申请日：2021-02-08

Applicant: Google LLC

Inventor： Augustus Quadrozzi Odena ,  Charles Aloysius Sutton

IPC: G06N5/04 ,  G06N20/00

Abstract: Generally, the present disclosure is directed to the generation and use of property signatures for computer programs. In particular, property signatures can serve as a representation for programs and program specifications meant for consumption by machine learning algorithms. Given a function with input type τin and output type τout, a property can be a function of type: (τin, τout)→Bool that (e.g., informally) describes some simple property of the function under consideration. For instance, if τin and τout are both lists of the same type, one property might ask ‘is the input list the same length as the output list?’.