activity
20132023
most citedTESSERACT: Eliminating Experimental Bias in Malware Classification across Space and Time

56 citations · 138 across the 13 of their papers we have counts for

collaborators
Showing 2023Show all

2 papers · 1 filter

cs.LG2023★ 1 cited

Exploiting Code Symmetries for Learning Program Semantics

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…

cs.CR2023★ 21 cited

Do you still need a manual smart contract audit?

Isaac David, Liyi Zhou, Kaihua Qin +3

We investigate the feasibility of employing large language models (LLMs) for conducting the security audit of smart contracts, a traditionally time-consuming and costly process. Ou…