vix.ing · top · new · best · stats · spec

Zhen, Hui-Ling

  1. Pareto Multi-Task Learning
    2019/12/30 by Lin, Xi, Zhen, Hui-Ling, Li, Zhenhua +2 · 20 citations
    #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
  2. BetterV: Controlled Verilog Generation with Discriminative Guidance
    2024/02/03 by Hui‐Ling Zhen, Pei, Zehua, Mingxuan Yuan +6 · 27 citations
    Computer Science · #Human Pose and Action Recognition #Video Analysis and Summarization #Multimodal Machine Learning Applications
  3. A Survey for Solving Mixed Integer Programming via Machine Learning
    2022/03/06 by Jiayi Zhang, Zhang, Jiayi, Chang Liu +9 · 8 citations
    Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Process Optimization and Integration #Scheduling and Optimization Algorithms #Vehicle Routing Optimization Methods
  4. LLM4EDA: Emerging Progress in Large Language Models for Electronic Design Automation
    2023/12/28 by Ruizhe Zhong, Zhong, Ruizhe, Xingbo Du +17 · 10 citations
    Computer Science · Engineering · Materials Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Hardware Architecture (cs.AR) #Machine Learning in Materials Science #Software Engineering Research
  5. DeepGate2: Functionality-Aware Circuit Representation Learning
    2023/05/25 by Zhengyuan Shi, Hongyang Pan, Shi, Zhengyuan +17 · 7 citations
    Computer Science · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Hardware Architecture (cs.AR) #Low-power high-performance VLSI design #Machine Learning (cs.LG) #VLSI and Analog Circuit Testing
  6. Unlocking Efficient Long-to-Short LLM Reasoning with Model Merging
    2025/03/26 by Wu, Han, Yao, Yuxuan, Liu, Shuqi +7 · 15 citations
    #Computation and Language (cs.CL) #FOS: Computer and information sciences
  7. Machine Learning Insides OptVerse AI Solver: Design Principles and Applications
    2024/01/11 by Xijun Li, Fangzhou Zhu, Li, Xijun +49 · 4 citations
    Computer Science · Psychology · #Neural Networks and Reservoir Computing #Educational Games and Gamification #Artificial Intelligence in Games
  8. KVTuner: Sensitivity-Aware Layer-Wise Mixed-Precision KV Cache Quantization for Efficient and Nearly Lossless LLM Inference
    2025/02/06 by Li, Xing, Xing, Zeyu, Li, Yiming +6 · 5 citations
    #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)
  9. CMoE: Converting Mixture-of-Experts from Dense to Accelerate LLM Inference
    2025/02/06 by Pei, Zehua, Zou, Lancheng, Zhen, Hui-Ling +5 · 3 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
  10. HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline
    2023/02/04 by Li, Yang, Chen, Xinyan, Guo, Wenxuan +6 · 1 citation
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
  11. Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG
    2023/03/04 by Zhen, Hui-Ling, Wang, Naixing, Huang, Junhua +3 · 1 citation
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Neural and Evolutionary Computing (cs.NE)
  12. From Pruning to Grafting: Dynamic Knowledge Redistribution via Learnable Layer Fusion
    2024/11/21 by Pei, Zehua, Zhen, Hui-Ling, Yu, Xianzhi +3 · 2 citations
    #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)
  13. The Graph's Apprentice: Teaching an LLM Low Level Knowledge for Circuit Quality Estimation
    2024/10/30 by Moravej, Reza, Bodhe, Saurabh, Zhang, Zhanguang +6 · 2 citations
    #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG)
  14. GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection
    2024/05/17 by Zhanguang Zhang, Didier Chételat, Zhang, Zhanguang +17 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Model-Driven Software Engineering Techniques #Software Engineering Research #Software Engineering Techniques and Practices
  15. DiLA: Enhancing LLM Tool Learning with Differential Logic Layer
    2024/02/19 by Yu Zhang, Zhang, Yu, Hui‐Ling Zhen +11 · 1 citation
    Computer Science · #Formal Methods in Verification
  16. TrimR: Verifier-based Training-Free Thinking Compression for Efficient Test-Time Scaling
    2025/05/22 by Lin, Weizhe, Li, Xing, Yang, Zhiyuan +7 · 4 citations
    #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)
  17. Behavioral Fingerprinting of Large Language Models
    2025/09/02 by Pei, Zehua, Zhen, Hui-Ling, Zhang, Ying +5 · 2 citations
    #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences
  18. MixPE: Quantization and Hardware Co-design for Efficient LLM Inference
    2024/11/25 by Zhang, Yu, Wang, Mingzi, Zou, Lancheng +4 · 1 citation
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG)
  19. Certifying Language Model Robustness with Fuzzed Randomized Smoothing: An Efficient Defense Against Backdoor Attacks
    2025/02/09 by He, Bowei, Yin, Lihao, Zhen, Hui-Ling +4 · 1 citation
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)