Du, Lun

16 publications

ICLR 2026 Automated Formalization via Conceptual Retrieval-Augmented LLMs Wangyue Lu, Lun Du, Sirui Li, Ke Weng, Haozhe Sun, Hengyu Liu, Minghe Yu, Tiancheng Zhang, Ge Yu

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 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

AAAI 2024 Text-to-Image Generation for Abstract Concepts Jiayi Liao, Xu Chen, Qiang Fu, Lun Du, Xiangnan He, Xiang Wang, Shi Han, Dongmei Zhang

AAAI 2024 Text2Analysis: A Benchmark of Table Question Answering with Advanced Data Analysis and Unclear Queries Xinyi He, Mengyu Zhou, Xinrun Xu, Xiaojun Ma, Rui Ding, Lun Du, Yan Gao, Ran Jia, Xu Chen, Shi Han, Zejian Yuan, Dongmei Zhang

IJCAI 2023 Causal-Based Supervision of Attention in Graph Neural Network: A Better and Simpler Choice Towards Powerful Attention Hongjun Wang, Jiyuan Chen, Lun Du, Qiang Fu, Shi Han, Xuan Song

ICLR 2023 Out-of-Distribution Detection Based on In-Distribution Data Patterns Memorization with Modern Hopfield Energy Jinsong Zhang, Qiang Fu, Xu Chen, Lun Du, Zelin Li, Gang Wang, Xiaoguang Liu, Shi Han, Dongmei Zhang

AAAI 2023 SheetPT: Spreadsheet Pre-Training Based on Hierarchical Attention Network Ran Jia, Qiyu Li, Zihan Xu, Xiaoyuan Jin, Lun Du, Haoyu Dong, Xiao Lv, Shi Han, Dongmei Zhang

AAAI 2023 Unveiling the Black Box of PLMs with Semantic Anchors: Towards Interpretable Neural Semantic Parsing Lunyiu Nie, Jiuding Sun, Yanlin Wang, Lun Du, Shi Han, Dongmei Zhang, Lei Hou, Juanzi Li, Jidong Zhai

NeurIPS 2022 Neuron with Steady Response Leads to Better Generalization Qiang Fu, Lun Du, Haitao Mao, Xu Chen, Wei Fang, Shi Han, Dongmei Zhang

IJCAI 2020 Domain Adaptive Classification on Heterogeneous Information Networks Shuwen Yang, Guojie Song, Yilun Jin, Lun Du

IJCAI 2019 DANE: Domain Adaptive Network Embedding Yizhou Zhang, Guojie Song, Lun Du, Shuwen Yang, Yilun Jin

IJCAI 2019 Tag2Gauss: Learning Tag Representations via Gaussian Distribution in Tagged Networks Yun Wang, Lun Du, Guojie Song, Xiaojun Ma, Lichen Jin, Wei Lin, Fei Sun

IJCAI 2018 Dynamic Network Embedding : An Extended Approach for Skip-Gram Based Network Embedding Lun Du, Yun Wang, Guojie Song, Zhicong Lu, Junshan Wang

IJCAI 2018 Galaxy Network Embedding: A Hierarchical Community Structure Preserving Approach Lun Du, Zhicong Lu, Yun Wang, Guojie Song, Yiming Wang, Wei Chen