2 papers
cs.CL2020
How Far are We from Effective Context Modeling? An Exploratory Study on Semantic Parsing in Context
Qian Liu, Bei Chen, Jiaqi Guo +3
Recently semantic parsing in context has received considerable attention, which is challenging since there are complex contextual phenomena. Previous works verified their proposed…
cs.LO2017
VMDV: A 3D Visualization Tool for Modeling, Demonstration, and Verification
Jian Liu, Ying Jiang, Yanyun Chen +1
The output of an automated theorem prover is usually presented by using a text format, they are often too heavy to be understood. In model checking setting, it would be helpful if…