自动芯片设计、大语言模型

https://huangdi95.github.io/

2025-10--中国科学院计算技术研究所   副研究员
2023-07--2025-10   中国科学院计算技术研究所   助理研究员
2018-09--2023-06   中国科学院计算技术研究所   工学博士
2014-09--2018-07   清华大学   理学学士

   

2025-10~现在, 中国科学院计算技术研究所, 副研究员
2023-07~2025-10,中国科学院计算技术研究所, 助理研究员

   

（ 1 ） 基于对比代码规则库的自动化电路PPA优化方法及装置, 发明专利, 2025, 第 3 作者, 专利号: 202511491566.3

（ 2 ） 基于时序扩散模型的机器人轨迹规划方法及装置, 发明专利, 2025, 第 9 作者, 专利号: 202511336509.8

（ 3 ） 一种基于特征和融合模式搜索的目标检测方法及系统, 发明专利, 2024, 第 4 作者, 专利号: CN117689865A

（ 4 ） 硬件感知的高效特征融合网络搜索方法及系统, 发明专利, 2024, 第 4 作者, 专利号: CN117689864A

（ 5 ） 基于特征和路径搜索的目标检测方法及系统, 发明专利, 2024, 第 4 作者, 专利号: CN117671231A

（ 6 ） 破除图像数据不可学习噪声的深度学习训练方法及系统, 发明专利, 2024, 第 4 作者, 专利号: CN117475254A

   

（1） QiMeng-CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis, Design Automation Conference, 2026, 第 4 作者
（2） StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs Through Knowledge-Reasoning Fusion, AAAI Conference on Artificial Intelligence, Oral, 2026, 第 2 作者
（3） QiMeng-Codev-r1: Reasoning-enhanced verilog generation, Advances in Neural Information Processing Systems, 2025, 第 2 作者  通讯作者
（4） Codev: Empowering llms with hdl generation through multilevel summarization, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2025, 第 2 作者
（5） Miggpt: Harnessing large language models for automated migration of out-of-tree linux kernel patches across versions, Advances in Neural Information Processing Systems, Spotlight, 2025, 第 2 作者
（6） Inversecoder: Self-improving instruction-tuned code llms with inverse-instruct, AAAI Conference on Artificial Intelligence, 2025, 第 2 作者
（7） Qimeng-xpiler: Transcompiling tensor programs for deep learning systems with a neural-symbolic approach, Operating Systems Design and Implementation, 2025, 第 4 作者
（8） Swift: High Parallelism Program Generation of Tensor Operators for Accelerating Deep Learning Inference, ACM Transactions on Architecture and Code Optimization, 2025, 第 5 作者
（9） Harmonia : A Unified Architecture for Efficient Deep Symbolic Regression, IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2025, 第 5 作者
（10） Emergent Communication for Numerical Concepts Generalization, AAAI-24, 2024, 第 13 作者
（11） Hypothesis, Verification, and Induction: Grounding Large Language Models with Self-Driven Skill Learning, AAAI-24, 2024, 第 6 作者
（12） Anpl: Towards natural programming with interactive decomposition, Advances in Neural Information Processing Systems, 2023, 第 1 作者
（13） Online symbolic regression with informative query, AAAI Conference on Artificial Intelligence, 2023, 
（14） Neural program synthesis with query, International Conference on Learning Representations, 2022, 第 1 作者
（15） 硬件感知的高效特征融合网络搜索, Hardware-Aware and Efficient Feature Fusion Network Search, 计算机学报, 2022, 第 5 作者
（16） Rethinking the Importance of Quantization Bias, Toward Full Low-Bit Training, IEEE Transactions on Image Processing, 2022, 第 6 作者
（17） A decomposable winograd method for n–d convolution acceleration in video analysis, International Journal of Computer Vision, 2021, 第 1 作者
（18） A Decomposable Winograd Method for N-D Convolution Acceleration in Video Analysis, INTERNATIONAL JOURNAL OF COMPUTER VISION, 2021, 第 1 作者
（19） Dwm: A decomposable winograd method for convolution acceleration, AAAI conference on artificial intelligence, 2020, 第 1 作者

   

（ 1 ） 智能驱动的硬件代码生成技术研究, 负责人, 国家任务, 2026-01--2027-12