- Quanlong Guan, Xiuliang Duan, Zhi Chen, Xingyu Zhu, Jianbo Huang, Xinzhong Liu, Zonglin Liu, Liangda Fang. PERC: A Prior-Guided Framework for Classifying Long-Content Educational Resources with Imbalanced Category Distributions. In Proceedings of the 34th Conference on Information and Knowledge Management (CIKM-2025), Accepted (CCF B)
- Ziliang Chen, Zhao-Rong Lai, Yufeng Yang, Liangda Fang, Zhanfu Yang, Liang Lin. Language Model as Implicit Tree Search. In Proceedings of the 41st International Conference on Machine Learning (ICML-2025), Accepted (CCF A)
- Liangda Fang, Min Zhan, Jin Tong, Xiujie Huang#, Ziliang Chen, Quanlong Guan#. Improvements to the Generate-and-Complete Approach to Conformant Planning. In Proceedings of the 34th International Joint Conference on Artificial Intelligence (IJCAI-2025), Accepted (CCF A)
- Xinghe Cheng, Xufang Zhou, Liangda Fang#, Chaobo He, Yuyu Zhou, Weiqi Luo, Zhiguo Gong and Quanlong Guan#. NR4DER: Neural Re-ranking for Diversified Exercise Recommendation. In Proceedings of the 48th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR-2025), 1738-1747. (CCF A) Source code
- Liangda Fang, Shikang Chen, Xiaoman Wang, Xiaoyou Lin, Chenyi Zhang, Qingliang Chen, Quanlong Guan#, Kaile Su#. Automatic Verification of Linear Integer Planning Programs via Forgetting in LIAUPF. In Proceedings of the 24th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2025), 722-730. (CCF B) Source code
- Liangda Fang, Xiaoman Wang, Zhang Chen, Kailun Luo, Zhenhe Cui, Quanlong Guan#. A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus. In Proceedings of the 39th AAAI Conference on Artificial Intelligence (AAAI-2025), 14911-14921. (CCF A)
- Zhao-Rong Lai, Xiaotian Wu, Liangda Fang, Ziliang Chen, Cheng Li#. De-singularity Subgradient for the q-th-Powered lp-Norm Weber Location Problem. In Proceedings of the 39th AAAI Conference on Artificial Intelligence (AAAI-2025), 18026-18034. (CCF A)
- Quanlong Guan, Xinghe Cheng#, Fang Xiao, Zhuzhou Li, Chaobo He, Liangda Fang, Guanliang Chen#, Zhiguo Gong, Weiqi Luo. Explainable Exercise Recommendation with Knowledge Graph. Neural Networks, 183:106954, 2025. (CCF B)
- Quanlong Guan, Xiuliang Duan#, Kaiquan Bian, Guanliang Chen, Jianbo Huang#, Zhiguo Gong, Liangda Fang. KVFKT: A New Horizon in Knowledge Tracing with Attention-Based Embedding and Forgetting Curve Integration. In Proceedings of the 31st International Conference on Computational Linguistics (COLING-2025), 4399-4409. (CCF B)
- Delong Li, Jiayu Zeng, Liangda Fang#, Chaonan Wang, Lin Cui, Quanlong Guan. Exact Computation of Network Reliability with Sentential Decision Diagrams. In Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering (ISSRE-2024), 617-628. (CCF B) Source code