ryokamoi/FoVer-misc
This repository contains materials for a previous version of the paper. Please refer to the latest version. This repository includes variants of the datasets and intermediate outputs. For details, please refer to this README file and the GitHub repository. 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… See the full description on the dataset page: https://huggingface.co/datasets/ryokamoi/FoVer-misc.
| Author / organization | ryokamoi |
|---|---|
| License (as declared) | cc-by-4.0 |
| Downloads | 509 (as reported by Hugging Face) |
| Likes | 0 |
| Created | 22 May 2025 |
| Last updated at source | 7 April 2026 |
Popularity, last 2 days
509 now (+146 since 2026-10-17). Counts as reported by the source, snapshotted daily by Silytics.
More from ryokamoi
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.