Abstract: Delta debugging provides an efficient and systematic approach to isolate and identify a minimal subsequence that exhibit a specific property. A notable trend in the development of delta ...

Our experiment is done in Ubuntu 18.04.6 LTS and in python 3.8. We implement our model by pytorch 1.10 and torch geometric 2.1.0. We train our model on a RTX 3090. The required environments are listed ...

Abstract: Smart contracts are computer programs running on the blockchain, and their security issues have received widespread attentions. However, existing vulnerability detection techniques such as ...

Mathematicians have calculated a “golden rule” for abstract art that famous artists tend to follow when they compose their works. Artificial intelligence, the team found, does not follow such implicit ...