Alert button
Picture for Hui-Ling Zhen

Hui-Ling Zhen

Alert button

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

Add code
Bookmark button
Alert button
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

Add code
Bookmark button
Alert button
Feb 03, 2024
Zehua Pei, Hui-Ling Zhen, Mingxuan Yuan, Yu Huang, Bei Yu

Figure 1 for BetterV: Controlled Verilog Generation with Discriminative Guidance
Figure 2 for BetterV: Controlled Verilog Generation with Discriminative Guidance
Figure 3 for BetterV: Controlled Verilog Generation with Discriminative Guidance
Figure 4 for BetterV: Controlled Verilog Generation with Discriminative Guidance
Viaarxiv icon

Machine Learning Insides OptVerse AI Solver: Design Principles and Applications

Add code
Bookmark button
Alert button
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

Add code
Bookmark button
Alert button
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

Add code
Bookmark button
Alert button
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

Add code
Bookmark button
Alert button
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

Add code
Bookmark button
Alert button
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

Add code
Bookmark button
Alert button
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

Add code
Bookmark button
Alert button
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

Machine Learning Methods in Solving the Boolean Satisfiability Problem

Add code
Bookmark button
Alert button
Mar 02, 2022
Wenxuan Guo, Junchi Yan, Hui-Ling Zhen, Xijun Li, Mingxuan Yuan, Yaohui Jin

Figure 1 for Machine Learning Methods in Solving the Boolean Satisfiability Problem
Figure 2 for Machine Learning Methods in Solving the Boolean Satisfiability Problem
Figure 3 for Machine Learning Methods in Solving the Boolean Satisfiability Problem
Figure 4 for Machine Learning Methods in Solving the Boolean Satisfiability Problem
Viaarxiv icon