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-40000FoVer-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.formal-logic-simple-order-multi-token-fixed-objects-paired-relationship-0-40000