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 likes77 downloads2y agoHugging Face03BioMike /formal-logic-reasoning-gliclass-2ktext1K<n<10K1 likes62 downloads1y agoHugging Face04joey234 /mmlu-formal_logic-neg Dataset Card for "mmlu-formal_logic-neg" More Information needed textn<1K1 likes59 downloads3y agoHugging Face05joey234 /mmlu-formal_logic-neg-prepend Dataset Card for "mmlu-formal_logic-neg-prepend" More Information needed textn<1K1 likes46 downloads3y agoHugging Face06joey234 /mmlu-formal_logic-dev Dataset Card for "mmlu-formal_logic-dev" More Information needed textn<1K1 likes41 downloads3y agoHugging Face07joey234 /mmlu-formal_logic-rule-neg Dataset Card for "mmlu-formal_logic-rule-neg" More Information needed textn<1K3 likes34 downloads3y agoHugging Face08joey234 /mmlu-formal_logic-rule-neg-prepend Dataset Card for "mmlu-formal_logic-rule-neg-prepend" More Information needed textn<1K1 likes34 downloads3y agoHugging Face09joey234 /mmlu-formal_logic-original-neg Dataset Card for "mmlu-formal_logic-original-neg" More Information needed textn<1K0 likes34 downloads3y agoHugging Face10joey234 /mmlu-formal_logic-neg-answer Dataset Card for "mmlu-formal_logic-neg-answer" More Information needed textn<1K1 likes33 downloads3y agoHugging Face11pccl-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 Face12BioMike /formal-logic-reasoning-gliclasstextn<1K0 likes32 downloads1y agoHugging Face13joey234 /mmlu-formal_logic-original-neg-prepend Dataset Card for "mmlu-formal_logic-original-neg-prepend" More Information needed textn<1K1 likes31 downloads3y agoHugging Face14joey234 /mmlu-formal_logic-verbal-neg-prepend Dataset Card for "mmlu-formal_logic-verbal-neg-prepend" More Information needed textn<1K4 likes30 downloads3y agoHugging Face15VLM4Geo /geometry3k-logic-form-idimage1K<n<10K0 likes30 downloads10mo agoHugging Face16VLM4Geo /geometry3k-eval-Qwen3-VL-235B-A22B-Instruct-logic-formimage1K<n<10K1 likes29 downloads10mo agoHugging Face1711-47 /formal_logic_25ktext10K<n<100K0 likes27 downloads5mo agoHugging Face18cristiano-sartori /formal_logictextn<1K0 likes25 downloads1y agoHugging Face19pccl-org /formal-logic-simple-order-new-objects-paired-taller-2000tabular1M<n<10M0 likes24 downloads3y agoHugging Face20flaitenberger /reasoning_with_formal_logictext1K<n<10K0 likes24 downloads7mo 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 likes23 downloads6mo agoHugging Face22VLM4Geo /geometry3k-logic-formimage1K<n<10K1 likes21 downloads10mo agoHugging Face23pccl-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 Face24VLM4Geo /geometry3k-distill-Qwen3-VL-235B-A22B-Instruct-logic-formimage1K<n<10K0 likes19 downloads10mo agoHugging Face25pccl-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 Face26pccl-org /formal-logic-simple-order-new-objects-paired-lighter-2000tabular1M<n<10M0 likes17 downloads3y agoHugging Face27raca-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 likes16 downloads6mo agoHugging Face28introvoyz041 /geometry3k-eval-Qwen3-VL-235B-A22B-Instruct-logic-formimage1K<n<10K0 likes15 downloads9mo agoHugging Face29zsprague /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 likes15 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.