*.csv (zip);

FormAI is a novel AI-generated dataset comprising 112,000 compilable and independent C programs. All the programs in the dataset were generated by GPT-3.5-turbo using dynamic zero-shot prompting technique and comprises programs with varying levels of complexity. Some programs handle complicated tasks such as network management, table games, or encryption, while others deal with simpler tasks like string manipulation. Each program is labelled based on vulnerabilities present in the code using a formal verification method based on the Efficient SMT-based Bounded Model Checker (ESBMC).

Categories:
1789 Views

Cybercriminal accounts in Ethereum contain five classes: normal, phishing, Ponzi, hack, and scam.

Categories:
264 Views

2D geometrically shaped constellations that are simultaneously robust to both residual phase noise (RPN) and AWGN (named as LCM-RPN, where LC is the low-complexity receiver metric from [1]) for 8 to 64-ary PCAWGN reception using a mismatched PCAWGN model. We added AWGN-only shaped constellations (LCM-AWGN) to serve as a reference; the term M is the modulation cardinality.

Categories:
194 Views

This database is provided for the Fake News Detection task. In addition to being used in other tasks of detecting fake news, it can be specifically used to detect fake news using the Natural Language Inference (NLI).

Categories:
9592 Views

time-series, accelerometer, gyroscope-to-yaw, acoustic localization

Categories:
182 Views