Zheng, Da

7 publications

ICLR 2026 EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty Yuchen Tian, Ruiyuan Huang, Wang Xuanwu, Jing Ma, Zengfeng Huang, Ziyang Luo, Hongzhan Lin, Da Zheng, Lun Du

ICLR 2026 Full-Graph vs. Mini-Batch Training: Comprehensive Analysis from a Batch Size and Fan-Out Size Perspective Mengfan Liu, Da Zheng, Junwei Su, Chuan Wu

ICLR 2026 Hierarchy Decoding: A Training-Free Parallel Decoding Strategy for Diffusion Large Language Models Xiaojing Qi, Lun Du, Xinyuan Zhang, Lanning Wei, Tao Jin, Da Zheng

ICLR 2026 InnoGym: Benchmarking the Innovation Potential of AI Agents Jintian Zhang, Kewei Xu, Jingsheng Zheng, Zhuoyun Yu, Yuqi Zhu, Yujie Luo, Lanning Wei, Shuofei Qiao, Lun Du, Da Zheng, Shumin Deng, Huajun Chen, Ningyu Zhang

ICLR 2024 NetInfoF Framework: Measuring and Exploiting Network Usable Information Meng-Chieh Lee, Haiyang Yu, Jian Zhang, Vassilis N. Ioannidis, Xiang Song, Soji Adeshina, Da Zheng, Christos Faloutsos

ECML-PKDD 2023 Train Your Own GNN Teacher: Graph-Aware Distillation on Textual Graphs Costas Mavromatis, Vassilis N. Ioannidis, Shen Wang, Da Zheng, Soji Adeshina, Jun Ma, Han Zhao, Christos Faloutsos, George Karypis

NeurIPSW 2022 From Local to Global: Spectral-Inspired Graph Neural Networks Ningyuan Teresa Huang, Soledad Villar, Carey Priebe, Da Zheng, Chengyue Huang, Lin Yang, Vladimir Braverman