Location-Based End-to-End Speech Recognition with Multiple Language Models. - Zhijie Lin 001; Kaiyang Lin; Shiling Chen; Linlin Li 001; Zhou Zhao 001 (AAAI, 2019)

The Sequent Systems and Algebraic Semantics of Intuitionistic Tense Logics. - Kaiyang Lin; Zhe Lin 002 (LORI, 2019)

Discrete Linear Temporal Logic with Knowing-Value Operator. - Kaiyang Lin (LORI, 2021)

Differentiable Space Carving for 3D Reconstruction Using Imaging Sonar. - Yunxuan Feng; Wenjie Lu; Haowen Gao; Binyu Nie; Kaiyang Lin; Liang Hu 002 (IEEE Robotics Autom. Lett., 2024)

Removing multi-path echoes in underwater 3D reconstruction via multi-view consistency. - Binyu Nie; Wenjie Lu; Yunxuan Feng; Haowen Gao; Kaiyang Lin (Pattern Recognit. Lett., 2025)