56 citations · 138 across the 13 of their papers we have counts for
1 paper · 1 filter
Kexin Pei, Weichen Li, Qirui Jin +5
This paper tackles the challenge of teaching code semantics to Large Language Models (LLMs) for program analysis by incorporating code symmetries into the model architecture. We in…