logic-form
algo-sft-formal-logic-truth-tableautotrain-logic_form_generation3-80243141417GAIN-logical-form-question-generationESM_tasksource__mmlu_formal_logicalgo-sft-formal-logic-bottom-upalgo-sft-formal-logic-distill-qwqexpert__Llama-2-7b-hf__qa-openai_batched_icl0_clen512_maxD-1_maxC2500_0_cleaned__formal_logicLORA_20231221_034959_formal_logic
formal-logic-simple-order-multi-token-dynamic-objects-paired-relationship-0-100000mmlu-formal_logic
Dataset Card for "mmlu-formal_logic"
More Information needed
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.formal-logic-simple-order-multi-token-dynamic-objects-paired-relationship-0-40000formal-logic-simple-order-multi-token-fixed-objects-paired-relationship-0-40000formal-logic-reasoning-gliclass-2k