Kaiyang Lin

According to our database, Kaiyang Lin authored at least 3 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Discrete Linear Temporal Logic with Knowing-Value Operator.

Kaiyang Lin

Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

2019

The Sequent Systems and Algebraic Semantics of Intuitionistic Tense Logics.

Kaiyang Lin, Zhe Lin

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

Location-Based End-to-End Speech Recognition with Multiple Language Models.

Zhijie Lin, Kaiyang Lin, Shiling Chen, Linlin Li, Zhou Zhao

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019