Hui-Ling Zhen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
10
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ACL | Analytical FFN-to-MoE Restructuring via Activation Pattern Analysis. | Zehua Pei, Hui-Ling Zhen, Lancheng Zou, Xianzhi Yu, Wulong Liu, Sinno Jialin Pan, Mingxuan Yuan, Bei Yu |
| 2026 | ACL | Benchmarking Post-Training Quantization of Large Language Models under Microscaling Floating Point Formats. | Manyi Zhang, Ji-Fu Li, Zhongao Sun, Haoli Bai, Hui-Ling Zhen, Zhenhua Dong, Xianzhi Yu |
| 2026 | ACL | Unleashing Low-Bit Inference on Ascend NPUs: A Comprehensive Evaluation of HiFloat Formats. | Pengxiang Zhao, Hui-Ling Zhen, Xing Li, Han Bao, Weizhe Lin, Zhiyuan Yang, Yu Zi Wei, Xin Wang, Mingxuan Yuan, Xianzhi Yu, Zhenhua Dong |
| 2026 | KDD | DiLA: Enhancing LLM Tool Learning with Differential Logic Layer. | Yu Zhang, Hui-Ling Zhen, Zehua Pei, Yingzhao Lian, Lihao Yin, Mingxuan Yuan, Bei Yu |
| 2025 | DAC | LLMShare: Optimizing LLM Inference Serving with Hardware Architecture Exploration. | Hongduo Liu, Chen Bai, Peng Xu, Lihao Yin, Xianzhi Yu, Hui-Ling Zhen, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu |
| 2025 | DAC | Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving. | Zhengyuan Shi, Tiebing Tang, Jiaying Zhu, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu |
| 2025 | ICLR | Certifying Language Model Robustness with Fuzzed Randomized Smoothing: An Efficient Defense Against Backdoor Attacks. | Bowei He, Lihao Yin, Hui-Ling Zhen, Jianping Zhang, Lanqing Hong, Mingxuan Yuan, Chen Ma |
| 2025 | ICML | KVTuner: Sensitivity-Aware Layer-Wise Mixed-Precision KV Cache Quantization for Efficient and Nearly Lossless LLM Inference. | Xing Li, Zeyu Xing, Yiming Li, Linping Qu, Hui-Ling Zhen, Yiwu Yao, Wulong Liu, Sinno Jialin Pan, Mingxuan Yuan |
| 2025 | IJCAI | The Graph's Apprentice: Teaching an LLM Low-Level Knowledge for Circuit Quality Estimation. | Reza Moravej, Saurabh Bodhe, Zhanguang Zhang, Didier Chtelat, Dimitrios Tsaras, Yingxue Zhang, Hui-Ling Zhen, Jianye Hao, Mingxuan Yuan |
| 2024 | DAC | NeuroSelect: Learning to Select Clauses in SAT Solvers. | Hongduo Liu, Peng Xu, Yuan Pu, Lihao Yin, Hui-Ling Zhen, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu |
| 2024 | DATE | Parallel Grbner Basis Rewriting and Memory Optimization for Efficient Multiplier Verification. | Hongduo Liu, Peiyu Liao, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu |
| 2024 | ICCAD | DiffSAT: Differential MaxSAT Layer for SAT Solving. | Yu Zhang, Hui-Ling Zhen, Mingxuan Yuan, Bei Yu |
| 2024 | ICML | BetterV: Controlled Verilog Generation with Discriminative Guidance. | Zehua Pei, Hui-Ling Zhen, Mingxuan Yuan, Yu Huang, Bei Yu |
| 2024 | KDD | GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection. | Zhanguang Zhang, Didier Chtelat, Joseph Cotnareanu, Amur Ghose, Wenyi Xiao, Hui-Ling Zhen, Yingxue Zhang, Jianye Hao, Mark Coates, Mingxuan Yuan |
| 2023 | ICCAD | SATformer: Transformer-Based UNSAT Core Learning. | Zhengyuan Shi, Min Li, Yi Liu, Sadaf Khan, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu |
| 2023 | ICCAD | DeepGate2: Functionality-Aware Circuit Representation Learning. | Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu |
| 2023 | KDD | HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline. | Yang Li, Xinyan Chen, Wenxuan Guo, Xijun Li, Wanqian Luo, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Junchi Yan |
| 2022 | ASPDAC | Accelerate SAT-based ATPG via Preprocessing and New Conflict Management Heuristics. | Junhua Huang, Hui-Ling Zhen, Naixing Wang, Mingxuan Yuan, Hui Mao, Yu Huang, Jiping Tao |
| 2022 | ITC | Neural Fault Analysis for SAT-based ATPG. | Junhua Huang, Hui-Ling Zhen, Naixing Wang, Hui Mao, Mingxuan Yuan, Yu Huang |