2 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.CL2020★ 2 cited
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…
cs.LO2016★ 1 cited
SCTL: Towards Combining Model Checking and Proof Checking
Ying Jiang, Jian Liu, Gilles Dowek +1
Model checking and automated theorem proving are two pillars of formal methods. This paper investigates model checking from an automated theorem proving perspective, aiming at comb…