Author

Di Huang

Observed name: Huang, Di

Institutions: Chinese Academy of Sciences, Institute of Computing Technology, University of Chinese Academy of Sciences

Observed institutions: Chinese Academy of Sciences, Institute of Computing Technology, University of Chinese Academy of Sciences

OpenAlex ID: A5129700902

Safety Alignment of Large Language Models via Contrasting Safe and Harmful Distributions

2026 · Xiaoyun Zhang, Zhengyue Zhao, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2

QiMeng-CRUX: Narrowing the Gap Between Natural Language and Verilog via Core Refined Understanding eXpression

2026 · Lei Huang, Rui Zhang, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 1

QiMeng-CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis

2026 · Wu, Yutong, Cao, Chenrui, et al. · arXiv (Cornell University)

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs Through Knowledge-Reasoning Fusion

2026 · Yutong Wu, Di Huang, et al. · Proceedings of the AAAI Conference on Artificial Intelligence

Run, Ruminate, and Regulate: A Dual-process Thinking System for Vision-and-Language Navigation

2026 · Yu Zhong, Zihao Zhang, et al. · Proceedings of the AAAI Conference on Artificial Intelligence

Works count: 6

Citation count: 3

H-index: 1

I10-index: