*.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:
1547 Views

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

Categories:
252 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:
178 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:
9118 Views

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

Categories:
172 Views