Ziyan Luo
Ziyan Luo
Home
Publications
Projects
Posts
Music
Light
Dark
Automatic
Publications
Type
Conference paper
Date
2023
2021
2020
Chronosymbolic
Constrained Horn Clause (CHC) is a universal format for formal verification problems. It is of great importance because it is …
Ziyan Luo
,
Xujie Si
PDF
Cite
Code
Slides
DOI
RLMob - Deep Reinforcement Learning for Successive Mobility Prediction
Human mobility prediction is an important task in the field of spatiotemporal sequential data mining and urban computing. Despite the …
Ziyan Luo
,
Congcong Miao
PDF
Cite
Code
Slides
Video
DOI
Adaptive Prior-Dependent Correction Enhanced Reinforcement Learning for Natural Language Generation
Natural language generation (NLG) is an important task with various applications like neural machine translation (NMT) and image …
Wei Cheng
,
Ziyan Luo
,
Qiyue Yin
PDF
Cite
Poster
Slides
Video
Match Plan Generation in Web Search with Parameterized Action Reinforcement Learning
To achieve good result quality and short query response time, search engines use specific match plans on Inverted Index to help …
Ziyan Luo
,
Linfeng Zhao
,
Wei Cheng
,
Sihao Chen
,
Qi Chen
,
Hui Xue
,
Haidong Wang
,
Chuanjie Liu
,
Mao Yang
,
Lintao Zhang
PDF
Cite
Code
Slides
Video
DOI
Predicting Human Mobility via Attentive Convolutional Network
Predicting human mobility is an important trajectory mining task for various applications, ranging from smart city planning to …
Congcong Miao
,
Ziyan Luo
,
Fengzhu Zeng
,
Jilong Wang
PDF
Cite
Dataset
Poster
Slides
DOI
Cite
×