Dataset · Hugging Face

ryokamoi/FoVer-FormalLogic-Llama-3.1-8B

Name: FoVer-FormalLogic-Llama-3.1-8B
Creator: ryokamoi
License: cc-by-4.0
Keywords: language:en, license:cc-by-4.0, size_categories:10K<n<100K, format:parquet, modality:text, library:datasets, library:pandas, library:mlcroissant, library:polars, arxiv:2505.15960, region:us, reward model

This 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.

View on Hugging FaceReport an issue

Author / organization	ryokamoi
License (as declared)	cc-by-4.0
Downloads	459 (as reported by Hugging Face)
Likes	0
Created	21 May 2025
Last updated at source	7 April 2026

reward model

Embed this entry

<iframe src="https://silytics.si/embed/item/8a2f07fd-d166-4b3b-acb0-12390946186d" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 3 days

459 now (+223 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.

More from ryokamoi

ryokamoi/VisOnlyQA_TrainDataset
ryokamoi/FoVer-miscDataset
ryokamoi/FoVer-FormalLogic-Qwen-2.5-7BDataset
ryokamoi/VisOnlyQA_Eval_SyntheticDataset
ryokamoi/FoVer-FormalProof-Llama-3.1-8BDataset
ryokamoi/VisOnlyQA_Eval_RealDataset

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 18 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.