Kaiyang Lin

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 3

Top Topics

Linear Temporal Logic

Speech Recognition

Top Venues

Publications

Kaiyang Lin
Discrete Linear Temporal Logic with Knowing-Value Operator. LORI (2021)
Kaiyang Lin, Zhe Lin
The Sequent Systems and Algebraic Semantics of Intuitionistic Tense Logics. LORI (2019)
Zhijie Lin, Kaiyang Lin, Shiling Chen, Linlin Li, Zhou Zhao
Location-Based End-to-End Speech Recognition with Multiple Language Models. AAAI (2019)