Search Results for author: Da Shen

Found 2 papers, 1 papers with code

Benchmarking Language Models for Code Syntax Understanding

1 code implementation26 Oct 2022 Da Shen, Xinyun Chen, Chenguang Wang, Koushik Sen, Dawn Song

Our key observation is that existing language models pretrained on code still lack the understanding of code syntax.

Benchmarking

SMT-based Constraint Answer Set Solver EZSMT+

no code implementations8 May 2019 Da Shen, Yuliya Lierler

Constraint answer set programming integrates answer set programming with constraint processing.

Cannot find the paper you are looking for? You can Submit a new open access paper.