📚 Research Papers

• ICLP 2026 Identifying Good Rules for Effcient SAT Encodings of Single Constant Multiplication Using Machine Learning, Chufeng Jiang, Neng-Fa Zhou. The 42nd International Conference on Logic Programming.

• COMPASAC 2026 Tri-LaneNet: Enhancing Intelligent Transportation Systems Perception Capabilities, Chufeng Jiang, Heng Li. The 50th IEEE Conference on Computers, Software, and Applications.

• FLOPs 2026 Dynamic Programming and Tabled Logic Programming for Encoding Single-Constant Multiplication into SAT, Neng-Fa Zhou, Chufeng Jiang, Hendrik Bierlee, Peter Stuckey. In 18th International Symposium on Functional and Logic Programming.

• AIEA 2024 Mixup-CLIPood: Robust Domain Generalization for Multi-modal Object Recognition, Yuxin Qiao, Keqin Li, Junhong Lin, Rong Wei, Chufeng Jiang, Yang Luo, Haoyu Yang. In 2024 5th International Conference on Artificial Intelligence and Electromechanical Automation

• Arxiv Large language models for forecasting and anomaly detection: A systematic literature review, Jing Su, Chufeng Jiang, Xin Jin, Yuxin Qiao, Tingsong Xiao, Hongda Ma, Rong Wei, Zhi Jing, Jiajun Xu, Junhong Lin.