CoolFace
30 shown

datasets

Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.

modalityAllTextImageAudioTabularVideo
taskAllText generationQuestion answeringImage classificationSpeech
sizeAllUnder 1K1K – 10K100K – 1M1M – 10M
formatAllParquetJSONCSVWebDataset
sortTrendingMost likedMost usedRecently updatedNewest
Clear all
01joey234 /mmlu-formal_logic Dataset Card for "mmlu-formal_logic" More Information needed textn<1K1 likes123 downloads3y agoHugging Face02Lots-of-LoRAs /task697_mmmlu_answer_generation_formal_logic Dataset Card for Natural Instructions (https://github.com/allenai/natural-instructions) Task: task697_mmmlu_answer_generation_formal_logic Additional Information Citation Information The following paper introduces the corpus in detail. If you use the corpus in published work, please cite it: @misc{wang2022supernaturalinstructionsgeneralizationdeclarativeinstructions, title={Super-NaturalInstructions: Generalization via Declarative Instructions on 1600+ NLP… See the full description on the dataset page: https://huggingface.co/datasets/Lots-of-LoRAs/task697_mmmlu_answer_generation_formal_logic.texttext-generationn<1K0 likes89 downloads2y agoHugging Face03ryokamoi /FoVer-FormalLogic-FormalProof-Qwen-2.5-7B-LastStepBalanced-40kThis repository contains materials for a previous version of the paper. Please refer to the latest version. Please refer to the LastStepBalanced Dataset section for details of this dataset. FoVer Project Website | 📄 Paper | 🛠️ GitHub | 🤗 Dataset | 🤗 Models This repository includes code and materials for the paper "Efficient PRM Training Data Synthesis via Formal Verification". Please refer to Quick Start for a quick start guide to evaluate your models on the FoVer dataset or… See the full description on the dataset page: https://huggingface.co/datasets/ryokamoi/FoVer-FormalLogic-FormalProof-Qwen-2.5-7B-LastStepBalanced-40k.text10K<n<100K0 likes74 downloads6mo agoHugging Face04BioMike /formal-logic-reasoning-gliclass-2ktext1K<n<10K1 likes59 downloads1y agoHugging Face05ryokamoi /FoVer-FormalLogic-Qwen-2.5-7BThis repository contains materials for a previous version of the paper. Please refer to the latest version. FoVer Project Website | 📄 Paper | 🛠️ GitHub | 🤗 Dataset | 🤗 Models This repository includes code and materials for the paper "Efficient PRM Training Data Synthesis via Formal Verification". Please refer to Quick Start for a quick start guide to evaluate your models on the FoVer dataset or evaluate the FoVer models on your dataset. GitHub:… See the full description on the dataset page: https://huggingface.co/datasets/ryokamoi/FoVer-FormalLogic-Qwen-2.5-7B.text10K<n<100K0 likes58 downloads6mo agoHugging Face06joey234 /mmlu-formal_logic-neg Dataset Card for "mmlu-formal_logic-neg" More Information needed textn<1K1 likes57 downloads3y agoHugging Face07ryokamoi /FoVer-FormalLogic-Llama-3.1-8BThis repository contains materials for a previous version of the paper. Please refer to the latest version. FoVer Project Website | 📄 Paper | 🛠️ GitHub | 🤗 Dataset | 🤗 Models This repository includes code and materials for the paper "Efficient PRM Training Data Synthesis via Formal Verification". Please refer to Quick Start for a quick start guide to evaluate your models on the FoVer dataset or evaluate the FoVer models on your dataset. GitHub:… See the full description on the dataset page: https://huggingface.co/datasets/ryokamoi/FoVer-FormalLogic-Llama-3.1-8B.text10K<n<100K0 likes55 downloads6mo agoHugging Face08joey234 /mmlu-formal_logic-neg-prepend Dataset Card for "mmlu-formal_logic-neg-prepend" More Information needed textn<1K1 likes45 downloads3y agoHugging Face09joey234 /mmlu-formal_logic-dev Dataset Card for "mmlu-formal_logic-dev" More Information needed textn<1K1 likes38 downloads3y agoHugging Face10joey234 /mmlu-formal_logic-rule-neg-prepend Dataset Card for "mmlu-formal_logic-rule-neg-prepend" More Information needed textn<1K1 likes36 downloads3y agoHugging Face11joey234 /mmlu-formal_logic-verbal-neg-prepend Dataset Card for "mmlu-formal_logic-verbal-neg-prepend" More Information needed textn<1K4 likes35 downloads3y agoHugging Face12joey234 /mmlu-formal_logic-original-neg Dataset Card for "mmlu-formal_logic-original-neg" More Information needed textn<1K0 likes35 downloads3y agoHugging Face13joey234 /mmlu-formal_logic-rule-neg Dataset Card for "mmlu-formal_logic-rule-neg" More Information needed textn<1K3 likes34 downloads3y agoHugging Face14joey234 /mmlu-formal_logic-original-neg-prepend Dataset Card for "mmlu-formal_logic-original-neg-prepend" More Information needed textn<1K1 likes33 downloads3y agoHugging Face15joey234 /mmlu-formal_logic-neg-answer Dataset Card for "mmlu-formal_logic-neg-answer" More Information needed textn<1K1 likes33 downloads3y agoHugging Face16pccl-org /formal-logic-simple-order-new-objects-paired-bigger-5000 Dataset Card for "formal-logic-simple-order-new-objects-paired-bigger-5000" More Information needed tabular10M<n<100M0 likes33 downloads3y agoHugging Face17ryokamoi /FoVer-FormalLogic-FormalProof-Llama-3.1-8B-LastStepBalanced-40kThis repository contains materials for a previous version of the paper. Please refer to the latest version. Please refer to the LastStepBalanced Dataset section for details of this dataset. FoVer Project Website | 📄 Paper | 🛠️ GitHub | 🤗 Dataset | 🤗 Models This repository includes code and materials for the paper "Efficient PRM Training Data Synthesis via Formal Verification". Please refer to Quick Start for a quick start guide to evaluate your models on the FoVer dataset or… See the full description on the dataset page: https://huggingface.co/datasets/ryokamoi/FoVer-FormalLogic-FormalProof-Llama-3.1-8B-LastStepBalanced-40k.text10K<n<100K0 likes32 downloads6mo agoHugging Face18BioMike /formal-logic-reasoning-gliclasstextn<1K0 likes32 downloads1y agoHugging Face1911-47 /formal_logic_25ktext10K<n<100K0 likes28 downloads5mo agoHugging Face20cristiano-sartori /formal_logictextn<1K0 likes25 downloads1y agoHugging Face21raca-workspace-v1 /algo-sft-eval-traces-formal-logic-bottom-up-v4 algo-sft-eval-traces-formal-logic-bottom-up-v4 Full eval traces for algo-sft-formal-logic-bottom-up across test/harder/ood splits Dataset Info Rows: 2000 Columns: 11 Columns Column Type Description question_id Value('string') Unique question identifier from eval set split Value('string') Evaluation split: test (in-distribution), harder (scaled up), ood (structural out-of-distribution) domain Value('string') Task domain: formal_logic… See the full description on the dataset page: https://huggingface.co/datasets/raca-workspace-v1/algo-sft-eval-traces-formal-logic-bottom-up-v4.text1K<n<10K0 likes25 downloads6mo agoHugging Face22pccl-org /formal-logic-simple-order-new-objects-paired-taller-2000tabular1M<n<10M0 likes24 downloads3y agoHugging Face23flaitenberger /reasoning_with_formal_logictext1K<n<10K0 likes24 downloads7mo agoHugging Face24pccl-org /formal-logic-simple-order-new-objects-paired-bigger-2000 Dataset Card for "formal-logic-simple-order-new-objects-paired-bigger-2000" More Information needed tabular1M<n<10M0 likes20 downloads3y agoHugging Face25zsprague /algo-sft-eval-traces-formal-logic-bottom-up-v4 algo-sft-eval-traces-formal-logic-bottom-up-v4 Full eval traces for algo-sft-formal-logic-bottom-up across test/harder/ood splits Dataset Info Rows: 60 Columns: 11 Columns Column Type Description question_id Value('string') Unique question identifier from eval set split Value('string') Evaluation split: test (in-distribution), harder (scaled up), ood (structural out-of-distribution) domain Value('string') Task domain: formal_logic… See the full description on the dataset page: https://huggingface.co/datasets/zsprague/algo-sft-eval-traces-formal-logic-bottom-up-v4.textn<1K0 likes18 downloads6mo agoHugging Face26pccl-org /formal-logic-simple-order-simple-objects-paired-blivergent-500 Dataset Card for "formal-logic-simple-order-simple-objects-paired-blivergent-500" More Information needed tabular100K<n<1M0 likes17 downloads3y agoHugging Face27pccl-org /formal-logic-simple-order-new-objects-paired-lighter-2000tabular1M<n<10M0 likes17 downloads3y agoHugging Face28raca-workspace-v1 /algo-sft-eval-traces-formal-logic-distill-qwq-v4 algo-sft-eval-traces-formal-logic-distill-qwq-v4 Full eval traces for algo-sft-formal-logic-distill-qwq across test/harder/ood splits Dataset Info Rows: 2000 Columns: 11 Columns Column Type Description question_id Value('string') Unique question identifier from eval set split Value('string') Evaluation split: test (in-distribution), harder (scaled up), ood (structural out-of-distribution) domain Value('string') Task domain: formal_logic… See the full description on the dataset page: https://huggingface.co/datasets/raca-workspace-v1/algo-sft-eval-traces-formal-logic-distill-qwq-v4.text1K<n<10K0 likes17 downloads6mo agoHugging Face29raca-workspace-v1 /algo-sft-eval-traces-formal-logic-truth-table-v4 algo-sft-eval-traces-formal-logic-truth-table-v4 Full eval traces for algo-sft-formal-logic-truth-table across test/harder/ood splits Dataset Info Rows: 2000 Columns: 11 Columns Column Type Description question_id Value('string') Unique question identifier from eval set split Value('string') Evaluation split: test (in-distribution), harder (scaled up), ood (structural out-of-distribution) domain Value('string') Task domain: formal_logic… See the full description on the dataset page: https://huggingface.co/datasets/raca-workspace-v1/algo-sft-eval-traces-formal-logic-truth-table-v4.text1K<n<10K0 likes16 downloads6mo agoHugging Face30pccl-org /formal-logic-simple-order-new-objects-bigger-50-2 Dataset Card for "formal-logic-simple-order-new-objects-bigger-50-2" More Information needed text1K<n<10K1 likes14 downloads3y agoHugging Face

Listings come live from the Hugging Face Hub API. CoolFace does not host these files.