Alert button
Picture for Hui-Ling Zhen

Hui-Ling Zhen

Alert button

SoLA: Solver-Layer Adaption of LLM for Better Logic Reasoning

Feb 19, 2024
Yu Zhang, Hui-Ling Zhen, Zehua Pei, Yingzhao Lian, Lihao Yin, Mingxuan Yuan, Bei Yu

Viaarxiv icon

BetterV: Controlled Verilog Generation with Discriminative Guidance

Feb 03, 2024
Zehua Pei, Hui-Ling Zhen, Mingxuan Yuan, Yu Huang, Bei Yu

Viaarxiv icon

Machine Learning Insides OptVerse AI Solver: Design Principles and Applications

Jan 17, 2024
Xijun Li, Fangzhou Zhu, Hui-Ling Zhen, Weilin Luo, Meng Lu, Yimin Huang, Zhenan Fan, Zirui Zhou, Yufei Kuang, Zhihai Wang, Zijie Geng, Yang Li, Haoyang Liu, Zhiwu An, Muming Yang, Jianshu Li, Jie Wang, Junchi Yan, Defeng Sun, Tao Zhong, Yong Zhang, Jia Zeng, Mingxuan Yuan, Jianye Hao, Jun Yao, Kun Mao

Viaarxiv icon

DeepGate2: Functionality-Aware Circuit Representation Learning

May 25, 2023
Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu

Figure 1 for DeepGate2: Functionality-Aware Circuit Representation Learning
Figure 2 for DeepGate2: Functionality-Aware Circuit Representation Learning
Figure 3 for DeepGate2: Functionality-Aware Circuit Representation Learning
Figure 4 for DeepGate2: Functionality-Aware Circuit Representation Learning
Viaarxiv icon

Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG

Mar 04, 2023
Hui-Ling Zhen, Naixing Wang, Junhua Huang, Xinyue Huang, Mingxuan Yuan, Yu Huang

Figure 1 for Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG
Figure 2 for Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG
Figure 3 for Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG
Figure 4 for Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG
Viaarxiv icon

HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline

Feb 11, 2023
Yang Li, Xinyan Chen, Wenxuan Guo, Xijun Li, Wanqian Luo, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Junchi Yan

Figure 1 for HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline
Figure 2 for HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline
Figure 3 for HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline
Figure 4 for HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline
Viaarxiv icon

SATformer: Transformers for SAT Solving

Sep 02, 2022
Zhengyuan Shi, Min Li, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu

Figure 1 for SATformer: Transformers for SAT Solving
Figure 2 for SATformer: Transformers for SAT Solving
Figure 3 for SATformer: Transformers for SAT Solving
Figure 4 for SATformer: Transformers for SAT Solving
Viaarxiv icon

Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-based Policy Learning

Jul 26, 2022
Zeren Huang, Wenhao Chen, Weinan Zhang, Chuhan Shi, Furui Liu, Hui-Ling Zhen, Mingxuan Yuan, Jianye Hao, Yong Yu, Jun Wang

Figure 1 for Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-based Policy Learning
Figure 2 for Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-based Policy Learning
Figure 3 for Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-based Policy Learning
Figure 4 for Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-based Policy Learning
Viaarxiv icon

A Survey for Solving Mixed Integer Programming via Machine Learning

Mar 06, 2022
Jiayi Zhang, Chang Liu, Junchi Yan, Xijun Li, Hui-Ling Zhen, Mingxuan Yuan

Figure 1 for A Survey for Solving Mixed Integer Programming via Machine Learning
Figure 2 for A Survey for Solving Mixed Integer Programming via Machine Learning
Figure 3 for A Survey for Solving Mixed Integer Programming via Machine Learning
Figure 4 for A Survey for Solving Mixed Integer Programming via Machine Learning
Viaarxiv icon