Dataset Card for Evaluation run of hoskinson-center/proofGPT-v0.1-6.7B
Dataset Summary
Dataset automatically created during the evaluation run of model hoskinson-center/proofGPT-v0.1-6.7B on the Open LLM Leaderboard.
The dataset is composed of 64 configuration, each one coresponding to one of the evaluated task.
The dataset has been created from 2 run(s). Each run can be found as a specific split in each configuration, the split being named using the timestamp of the… See the full description on the dataset page: https://huggingface.co/datasets/open-llm-leaderboard-old/details_hoskinson-center__proofGPT-v0.1-6.7B.
