2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.CL2022
Benchmarking Language Models for Code Syntax Understanding
Da Shen, Xinyun Chen, Chenguang Wang +2
Pre-trained language models have demonstrated impressive performance in both natural language processing and program understanding, which represent the input as a token sequence wi…
cs.LO2019★ 2 cited
SMT-based Constraint Answer Set Solver EZSMT+
Da Shen, Yuliya Lierler
Constraint answer set programming integrates answer set programming with constraint processing. System EZSMT+ is a constraint answer set programming tool that utilizes satisfiabili…