PPaperPicks

Zidong Du

14 papers at tracked venues · 12 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×6IJCAI ×2NeurIPS ×2ACL ×1CVPR ×1ICML ×1SOSP ×1

Frequent coauthors

Rui Zhang
×13
Xing Hu
×12
Qi Guo
×11
Yunji Chen
×10
Di Huang
×8
Jiaming Guo
×7
Xishan Zhang
×6
Shuyao Cheng
×5
Pengwei Jin
×5
Shaohui Peng
×4
Ling Li
×4
Chongxiao Li
×4

Papers

  1. Efficient Diffusion Planning with Temporal Diffusion
    AAAI 2026 ·
    Jiaming Guo
    ,
    Rui Zhang
    ,
    Zerun Li
    ,
    Yunkai Gao
    ,
    Shaohui Peng
    ,
    Siming Lan
    ,
    Xing Hu
    , Zidong Du,
    Xishan Zhang
    ,
    Ling Li
  2. QiMeng-CRUX: Narrowing the Gap Between Natural Language and Verilog via Core Refined Understanding eXpression
    AAAI 2026 ·
    Lei Huang
    ,
    Rui Zhang
    ,
    Jiaming Guo
    ,
    Yang Zhang
    ,
    Di Huang
    ,
    Shuyao Cheng
    ,
    Pengwei Jin
    ,
    Chongxiao Li
    , Zidong Du,
    Xing Hu
    ,
    Yunji Chen
    ,
    Qi Guo
  3. QiMeng-PRepair: Precise Code Repair via Edit-Aware Reward Optimization
    ACL 2026 ·
    Changxin Ke
    ,
    Rui Zhang
    ,
    Jiaming Guo
    ,
    Yuanbo Wen
    ,
    Li Ding
    ,
    Shuo Wang
    ,
    Xuyuan Zhu
    ,
    Xiong Peng
    ,
    Di Huang
    , Zidong Du,
    Xing Hu
    ,
    Qi Guo
    ,
    Yunji Chen
  4. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs Through Knowledge-Reasoning Fusion
    AAAI 2026 ·
    Yutong Wu
    ,
    Di Huang
    ,
    Ruosi Wan
    ,
    Yue Peng
    ,
    Shijie Shang
    ,
    Chenrui Cao
    ,
    Lei Qi
    ,
    Rui Zhang
    ,
    Xishan Zhang
    , Zidong Du,
    Jie Yang
    ,
    Xing Hu
  5. Automated Superscalar Processor Design by Learning Data Dependencies
    IJCAI 2025 ·
    Shuyao Cheng
    ,
    Rui Zhang
    ,
    Wenkai He
    ,
    Pengwei Jin
    ,
    Chongxiao Li
    , Zidong Du,
    Xing Hu
    ,
    Yifan Hao
    ,
    Guanglin Xu
    ,
    Yuanbo Wen
    ,
    Ling Li
    ,
    Qi Guo
    ,
    Yunji Chen
  6. InverseCoder: Self-improving Instruction-Tuned Code LLMs with Inverse-Instruct
    AAAI 2025 ·
    Yutong Wu
    ,
    Di Huang
    ,
    Wenxuan Shi
    ,
    Wei Wang
    ,
    Yewen Pu
    ,
    Lingzhe Gao
    ,
    Shihao Liu
    ,
    Ziyuan Nan
    ,
    Kaizhao Yuan
    ,
    Rui Zhang
    ,
    Xishan Zhang
    , Zidong Du,
    Qi Guo
    ,
    Dawei Yin
    ,
    Xing Hu
    ,
    Yunji Chen
  7. Orthrus: Efficient and Timely Detection of Silent User Data Corruption in the Cloud with Resource-Adaptive Computation Validation
    SOSP 2025 ·
    Chenxiao Liu
    ,
    Zhenting Zhu
    ,
    Quanxi Li
    ,
    Yanwen Xia
    ,
    Yifan Qiao
    ,
    Xiangyun Deng
    ,
    Youyou Lu
    ,
    Tao Xie
    ,
    Huimin Cui
    , Zidong Du,
    Harry Xu
    ,
    Chenxi Wang
  8. QiMeng-CodeV-R1: Reasoning-Enhanced Verilog Generation
    NeurIPS 2025 ·
    Yaoyu Zhu
    ,
    Di Huang
    ,
    Han-Qi Lyu
    ,
    Xiaoyun Zhang
    ,
    Chongxiao Li
    ,
    Wenxuan Shi
    ,
    Yutong Wu
    ,
    Jianan Mu
    ,
    Jinghua Wang
    ,
    Yang Zhao
    ,
    Pengwei Jin
    ,
    Shuyao Cheng
    ,
    Shengwen Liang
    ,
    Xishan Zhang
    ,
    Rui Zhang
    , Zidong Du,
    Qi Guo
    ,
    Xing Hu
    ,
    Yunji Chen
  9. QiMeng-SALV: Signal-Aware Learning for Verilog Code Generation
    NeurIPS 2025 ·
    Yang Zhang
    ,
    Rui Zhang
    ,
    Jiaming Guo
    ,
    Lei Huang
    ,
    Di Huang
    ,
    Yunpu Zhao
    ,
    Shuyao Cheng
    ,
    Pengwei Jin
    ,
    Chongxiao Li
    , Zidong Du,
    Xing Hu
    ,
    Qi Guo
    ,
    Yunji Chen
  10. Automated CPU Design by Learning from Input-Output Examples
    IJCAI 2024 ·
    Shuyao Cheng
    ,
    Pengwei Jin
    ,
    Qi Guo
    , Zidong Du,
    Rui Zhang
    ,
    Xing Hu
    ,
    Yongwei Zhao
    ,
    Yifan Hao
    ,
    Xiangtao Guan
    ,
    Husheng Han
    ,
    Zhengyue Zhao
    ,
    Ximing Liu
    ,
    Xishan Zhang
    ,
    Yuejie Chu
    ,
    Weilong Mao
    ,
    Tianshi Chen
    ,
    Yunji Chen
  11. Can Protective Perturbation Safeguard Personal Data from Being Exploited by Stable Diffusion?
    CVPR 2024 ·
    Zhengyue Zhao
    ,
    Jinhao Duan
    ,
    Kaidi Xu
    ,
    Chenan Wang
    ,
    Rui Zhang
    , Zidong Du,
    Qi Guo
    ,
    Xing Hu
  12. Emergent Communication for Numerical Concepts Generalization
    AAAI 2024 ·
    Enshuai Zhou
    ,
    Yifan Hao
    ,
    Rui Zhang
    ,
    Yuxuan Guo
    , Zidong Du,
    Xishan Zhang
    ,
    Xinkai Song
    ,
    Chao Wang
    ,
    Xuehai Zhou
    ,
    Jiaming Guo
    ,
    Qi Yi
    ,
    Shaohui Peng
    ,
    Di Huang
    ,
    Ruizhi Chen
    ,
    Qi Guo
    ,
    Yunji Chen
  13. Hypothesis, Verification, and Induction: Grounding Large Language Models with Self-Driven Skill Learning
    AAAI 2024 ·
    Shaohui Peng
    ,
    Xing Hu
    ,
    Qi Yi
    ,
    Rui Zhang
    ,
    Jiaming Guo
    ,
    Di Huang
    ,
    Zikang Tian
    ,
    Ruizhi Chen
    , Zidong Du,
    Qi Guo
    ,
    Yunji Chen
    ,
    Ling Li
  14. Prompt-based Visual Alignment for Zero-shot Policy Transfer
    ICML 2024 ·
    Haihan Gao
    ,
    Rui Zhang
    ,
    Qi Yi
    ,
    Hantao Yao
    ,
    Haochen Li
    ,
    Jiaming Guo
    ,
    Shaohui Peng
    ,
    Yunkai Gao
    ,
    QiCheng Wang
    ,
    Xing Hu
    ,
    Yuanbo Wen
    ,
    Zihao Zhang
    , Zidong Du,
    Ling Li
    ,
    Qi Guo
    ,
    Yunji Chen