Zhang, Tiancheng

5 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

ECML-PKDD 2025 Leveraging Student Profiles and the Mamba Framework to Enhance Knowledge Tracing Mingxing Shao, Tiancheng Zhang, Minghe Yu, Zhenghao Liu, Yifang Yin, Hengyu Liu, Ge Yu

IJCAI 2025 Priority Guided Explanation for Knowledge Tracing with Dual Ranking and Similarity Consistency Fan Li, Tiancheng Zhang, Yifang Yin, Minghe Yu, Mengxiang Wang, Ge Yu

CoRL 2024 Differentiable Discrete Elastic Rods for Real-Time Modeling of Deformable Linear Objects Yizhou Chen, Yiting Zhang, Zachary Brei, Tiancheng Zhang, Yuzhen Chen, Julie Wu, Ram Vasudevan

AAAI 2024 EasyTS: The Express Lane to Long Time Series Forecasting Tiancheng Zhang, Shaoyuan Huang, Cheng Zhang, Xiaofei Wang, Wenyu Wang