ITERATIVE BOOTSTRAPPING NEUROSYMBOLIC METHOD FOR GENERATING SYSTEM DESIGNS

    公开(公告)号:US20240169129A1

    公开(公告)日:2024-05-23

    申请号:US18512812

    申请日:2023-11-17

    CPC classification number: G06F30/27 G06F2119/02

    Abstract: In an example, an iterative method for generating designs includes receiving, by a computing system, a plurality of symbolic rules and a plurality of design objectives for a design of a system; generating, by the computing system, a first plurality of designs for the system based on the plurality of the symbolic rules; evaluating performance of the first plurality of designs; training a machine learning model using the first plurality of designs and performance metrics; generating a second plurality of designs; evaluating, by the computing system, using a machine learning model, performance of the second plurality of designs to filter one or more designs that meet one or more of the plurality of the design objectives; evaluating performance of the filtered designs; and updating, by the computing system, the plurality of the design objectives and/or the plurality of the symbolic rules based on the evaluated performance of the filtered designs.

    LARGE LANGUAGE MODELS FOR QUANTUM TRANSPILING

    公开(公告)号:US20250036993A1

    公开(公告)日:2025-01-30

    申请号:US18673709

    申请日:2024-05-24

    Abstract: In an example, a method for training a machine learning model to transpile quantum circuits includes generating, by a quantum circuit generator, a first plurality of quantum circuits according to a general quantum circuit design language, wherein each of the first plurality of quantum circuits comprises a sequence of instructions comprising one or more gates and one or more gate operations; obtaining a second plurality of quantum circuits, wherein each of the second plurality of quantum circuits is transpiled for a target quantum device from a corresponding one of the first plurality of quantum circuits; and training, using the first plurality of quantum circuits and the second plurality of quantum circuits, a machine learning model to transpile a quantum circuit according to the general quantum circuit design language to a quantum circuit for the target quantum device.

    DIVERSITY-AWARE MULTI-OBJECTIVE HIGH DIMENSIONAL PARAMETER OPTIMIZATION USING INVERTIBLE MODELS

    公开(公告)号:US20240143689A1

    公开(公告)日:2024-05-02

    申请号:US18489777

    申请日:2023-10-18

    CPC classification number: G06F17/11

    Abstract: In an example, a method of designing a system or architecture includes, receiving a plurality of parameter values and a set of requirements for a plurality of objective functions related to a design problem; compressing the plurality of parameters to generate a latent representation; forward processing, with one or more Invertible Neural Networks (INNs), the latent representation to generate a plurality of objective values corresponding to the plurality of the objective functions; inverse processing the plurality of objective values; and generating, based on the latent representation, a plurality of solutions to the design problem that satisfy the set of requirements for the plurality of objective functions.

Patent Agency Ranking