2 datasets found

Tags: C code

Filter Results

  • ESBMC-AI dataset

    A dataset of 1000 C code samples, each consisting of 20 to 50 lines of code, used to evaluate the proposed method for automatic program repair.

  • FormAI dataset

    The FormAI dataset includes 112,000 compilable C code snippets created using the GPT-3.5-turbo model through a dynamic zero-shot prompting method.
You can also access this registry using the API (see API Docs).