Haoxing Ren

1. ChipNeMo: Domain-Adapted LLMs for Chip Design
   2023/10/31 by Mingjie Liu, Teodor-Dumitru Ene, Liu, Mingjie +83 · 2 voices · 52 citations
   Computer Science · #Digital Rights Management and Security
2. VerilogEval: Evaluating Large Language Models for Verilog Code Generation
   2023/09/14 by Mingjie Liu, Liu, Mingjie, Nathaniel Pinckney +5 · 81 citations
   Computer Science · Engineering · #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Machine Learning (cs.LG) #Natural Language Processing Techniques #Software Engineering (cs.SE) #Topic Modeling
3. RTLFixer: Automatically Fixing RTL Syntax Errors with Large Language Models
   2023/11/28 by Yun-Da Tsai, Mingjie Liu, Tsai, Yun-Da +3 · 41 citations
   Computer Science · #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Natural Language Processing Techniques #Text Readability and Simplification #Topic Modeling
4. VerilogCoder: Autonomous Verilog Coding Agents with Graph-based Planning and Abstract Syntax Tree (AST)-based Waveform Tracing Tool
   2024/08/15 by Chia-Tung Ho, Ho, Chia-Tung, Haoxing Ren +3 · 41 citations
   Computer Science · #Algorithms and Data Compression #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences
5. VS-Quant: Per-vector Scaled Quantization for Accurate Low-Precision Neural Network Inference
   2021/02/08 by Steve Dai, Dai, Steve, Rangharajan Venkatesan +9 · 14 citations
   Computer Science · #Advanced Image Processing Techniques #Advanced Neural Network Applications #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Hardware Architecture (cs.AR) #Machine Learning (cs.LG)
6. Revisiting VerilogEval: A Year of Improvements in Large-Language Models for Hardware Code Generation
   2024/08/20 by Nathaniel Pinckney, Christopher Batten, Pinckney, Nathaniel +7 · 27 citations
   Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Data Quality and Management #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Natural Language Processing Techniques #Topic Modeling
7. CraftRTL: High-quality Synthetic Data Generation for Verilog Code Models with Correct-by-Construction Non-Textual Representations and Targeted Code Repair
   2024/09/19 by Mingjie Liu, Liu, Mingjie, Yun-Da Tsai +4 · 28 citations
   Computer Science · #Natural Language Processing Techniques #Topic Modeling #Speech Recognition and Synthesis
8. Comprehensive Verilog Design Problems: A Next-Generation Benchmark Dataset for Evaluating Large Language Models and Agents on RTL Design and Verification
   2025/06/17 by Nathaniel Pinckney, Pinckney, Nathaniel, Chenhui Deng +13 · 2 voices · 8 citations
   Computer Science · #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Natural Language Processing Techniques #cs.AR #cs.LG
9. Code Less, Align More: Efficient LLM Fine-tuning for Code Generation with Data Pruning
   2024/07/06 by Yun-Da Tsai, Tsai, Yun-Da, Mingjie Liu +3 · 9 citations
   Computer Science · #FOS: Computer and information sciences #Logic, programming, and type systems #Machine Learning (cs.LG) #Mathematics, Computing, and Information Processing #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
10. TAG: Learning Circuit Spatial Embedding From Layouts
    2022/09/07 by Keren Zhu, Hao Chen, Zhu, Keren +11 · 3 citations
    Engineering · #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Industrial Vision Systems and Defect Detection #Integrated Circuits and Semiconductor Failure Analysis #Machine Learning (cs.LG) #VLSI and FPGA Design Techniques
11. FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware
    2024/10/15 by Minwoo Kang, Kang, Minwoo, Mingjie Liu +7 · 7 citations
    Computer Science · #Formal Methods in Verification #Software Testing and Debugging Techniques #Model-Driven Software Engineering Techniques
12. NVCell: Standard Cell Layout in Advanced Technology Nodes with Reinforcement Learning
    2021/07/09 by Haoxing Ren, Ren, Haoxing, Matthew Fojtik +3 · 2 citations
    Engineering · #Advanced Manufacturing and Logistics Optimization #FOS: Computer and information sciences #Machine Learning (cs.LG) #Scheduling and Optimization Algorithms #VLSI and FPGA Design Techniques
13. Large Language Model (LLM) for Standard Cell Layout Design Optimization
    2024/05/24 by Chia-Tung Ho, Ho, Chia-Tung, Haoxing Ren +1 · 3 citations
    Engineering · #Advanced Manufacturing and Logistics Optimization #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Scheduling and Optimization Algorithms
14. HeuriGym: An Agentic Benchmark for LLM-Crafted Heuristics in Combinatorial Optimization
    2025/06/09 by Hongzheng Chen, Chen, Hongzheng, Yingheng Wang +22 · 9 citations
    Computer Science · Materials Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning in Materials Science #Multimodal Machine Learning Applications
15. BoolGebra: Attributed Graph-learning for Boolean Algebraic Manipulation
    2024/01/19 by Yingjie Li, Anthony Agnesina, Li, Yingjie +7 · 3 citations
    Materials Science · Computer Science · Engineering · #Machine Learning in Materials Science #Computational Drug Discovery Methods #Fuel Cells and Related Materials
16. Autonomous Code Evolution Meets NP-Completeness
    2025/09/09 by C. Yu, Rongjian Liang, Yu, Cunxi +5 · 5 citations
    Computer Science · Materials Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning and Data Classification #Machine Learning in Materials Science #Software Engineering Research
17. ScaleRTL: Scaling LLMs with Reasoning Data and Test-Time Compute for Accurate RTL Code Generation
    2025/06/05 by Chenhui Deng, Yun-Da Tsai, Deng, Chenhui +7 · 7 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Model-Driven Software Engineering Techniques #Natural Language Processing Techniques #Software Testing and Debugging Techniques
18. Spec2RTL-Agent: Automated Hardware Code Generation from Complex Specifications Using LLM Agent Systems
    2025/06/16 by Zhongzhi Yu, Yu, Zhongzhi, Mingjie Liu +9 · 4 citations
    Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Hardware Architecture (cs.AR) #Model-Driven Software Engineering Techniques
19. PRO-V-R1: Reasoning Enhanced Programming Agent for RTL Verification
    2025/06/13 by Yujie Zhao, Zhao, Yujie, Zhijing Wu +14 · 3 citations
    Computer Science · Engineering · #Advanced Control Systems Optimization #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Hardware Architecture (cs.AR) #Real-Time Systems Scheduling
20. ChipAlign: Instruction Alignment in Large Language Models for Chip Design via Geodesic Interpolation
    2024/12/15 by Chenhui Deng, Yunsheng Bai, Deng, Chenhui +3 · 2 citations
    Computer Science · Engineering · #Model-Driven Software Engineering Techniques #Computational Geometry and Mesh Generation #Modular Robots and Swarm Intelligence
21. Intelligent OPC Engineer Assistant for Semiconductor Manufacturing
    2024/08/23 by Guojin Chen, Chen, Guojin, Bei Yu +4 · 1 citation
    Engineering · #Industrial Automation and Control Systems #Industrial Vision Systems and Defect Detection
22. GOALPlace: Begin with the End in Mind
    2024/07/05 by Anthony Agnesina, Agnesina, Anthony, Rongjian Liang +7 · 1 citation
    Psychology · #Counseling, Therapy, and Family Dynamics #Paranormal Experiences and Beliefs
23. Timing Analysis Agent: Autonomous Multi-Corner Multi-Mode (MCMM) Timing Debugging with Timing Debug Relation Graph
    2025/04/15 by Jatin Nainani, Nainani, Jatin, Chia-Tung Ho +5 · 2 citations
    Engineering · Computer Science · #Low-power high-performance VLSI design #Embedded Systems Design Techniques #VLSI and FPGA Design Techniques