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
01pccl-org /formal-logic-simple-order-multi-token-dynamic-objects-paired-relationship-0-100000tabular10M<n<100M0 likes132 downloads3y agoHugging Face02joey234 /mmlu-formal_logic Dataset Card for "mmlu-formal_logic" More Information needed textn<1K1 likes123 downloads3y agoHugging Face03Lots-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 Face04pccl-org /formal-logic-simple-order-multi-token-dynamic-objects-paired-relationship-0-40000tabular10M<n<100M0 likes80 downloads3y agoHugging Face05ryokamoi /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 Face06pccl-org /formal-logic-simple-order-multi-token-fixed-objects-paired-relationship-0-40000tabular10M<n<100M0 likes68 downloads3y agoHugging Face07BioMike /formal-logic-reasoning-gliclass-2ktext1K<n<10K1 likes59 downloads1y agoHugging Face08ryokamoi /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 Face09joey234 /mmlu-formal_logic-neg Dataset Card for "mmlu-formal_logic-neg" More Information needed textn<1K1 likes57 downloads3y agoHugging Face10ryokamoi /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 Face11joey234 /mmlu-formal_logic-neg-prepend Dataset Card for "mmlu-formal_logic-neg-prepend" More Information needed textn<1K1 likes45 downloads3y agoHugging Face12joey234 /mmlu-formal_logic-dev Dataset Card for "mmlu-formal_logic-dev" More Information needed textn<1K1 likes38 downloads3y agoHugging Face13pccl-org /formal-logic-simple-order-token-objects-paired-relationship-0-40000tabular10M<n<100M0 likes38 downloads3y agoHugging Face14joey234 /mmlu-formal_logic-rule-neg-prepend Dataset Card for "mmlu-formal_logic-rule-neg-prepend" More Information needed textn<1K1 likes36 downloads3y agoHugging Face15joey234 /mmlu-formal_logic-verbal-neg-prepend Dataset Card for "mmlu-formal_logic-verbal-neg-prepend" More Information needed textn<1K4 likes35 downloads3y agoHugging Face16joey234 /mmlu-formal_logic-original-neg Dataset Card for "mmlu-formal_logic-original-neg" More Information needed textn<1K0 likes35 downloads3y agoHugging Face17joey234 /mmlu-formal_logic-rule-neg Dataset Card for "mmlu-formal_logic-rule-neg" More Information needed textn<1K3 likes34 downloads3y agoHugging Face18joey234 /mmlu-formal_logic-original-neg-prepend Dataset Card for "mmlu-formal_logic-original-neg-prepend" More Information needed textn<1K1 likes33 downloads3y agoHugging Face19joey234 /mmlu-formal_logic-neg-answer Dataset Card for "mmlu-formal_logic-neg-answer" More Information needed textn<1K1 likes33 downloads3y agoHugging Face20pccl-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 Face21ryokamoi /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 Face22BioMike /formal-logic-reasoning-gliclasstextn<1K0 likes32 downloads1y agoHugging Face23pccl-org /formal-logic-simple-order-multi-token-dynamic-objects-paired-relationship-0-5000tabular1M<n<10M0 likes28 downloads3y agoHugging Face2411-47 /formal_logic_25ktext10K<n<100K0 likes28 downloads5mo agoHugging Face25pccl-org /formal-logic-simple-order-multi-token-fixed-objects-paired-relationship-0-100000tabular10M<n<100M0 likes26 downloads3y agoHugging Face26cristiano-sartori /formal_logictextn<1K0 likes25 downloads1y agoHugging Face27raca-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 Face28pccl-org /formal-logic-simple-order-new-objects-paired-taller-2000tabular1M<n<10M0 likes24 downloads3y agoHugging Face29flaitenberger /reasoning_with_formal_logictext1K<n<10K0 likes24 downloads7mo agoHugging Face30pccl-org /formal-logic-simple-order-multi-token-dynamic-objects-paired-relationship-0-10000tabular1M<n<10M0 likes23 downloads3y agoHugging Face

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