Hugging Face's logo

Datasets:
elohn
/
miniCodeProps

Languages:
English
Size:
n<1K
Tags:
croissant
DOI:
Libraries:
License:
Dataset card Files
xet
 Community
1
miniCodeProps / baseline.py

Commit History

  1. README updates for reproducibility

    evanlohn
    cf82b1c

  1. removed recursive proving to reduce false positives

    elohn
    980b096

  1. Merge branch 'main' of https://huggingface.co/datasets/elohn/miniCodeProps

    evanlohn
    1099902

  2. correct file context

    evanlohn
    1dc7ce1

  3. baselines working on Linux

    elohn
    8d5ba38

  1. benchmark and baseline code

    evanlohn
    65e48a9