Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Batched Scalable Multi-Objective Bayesian Optimization Algorithm., , , , and . CoRR, (2018)Nonlinear Collaborative Scheme for Deep Neural Networks., , , , , and . CoRR, (2018)Neural Fault Analysis for SAT-based ATPG., , , , , and . ITC, page 36-45. IEEE, (2022)BetterV: Controlled Verilog Generation with Discriminative Guidance., , , , and . ICML, OpenReview.net, (2024)Learning to select cuts for efficient mixed-integer programming., , , , , , , , and . Pattern Recognit., (2022)IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability., , , , , and . CoRR, (2024)DeepGate2: Functionality-Aware Circuit Representation Learning., , , , , , , , , and . ICCAD, page 1-9. IEEE, (2023)EDA-Driven Preprocessing for SAT Solving., , , , , , and . CoRR, (2024)The Dawn of AI-Native EDA: Promises and Challenges of Large Circuit Models., , , , , , , , , and 24 other author(s). CoRR, (2024)HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline., , , , , , , , and . KDD, page 4414-4425. ACM, (2023)