Update README.md

README.md

@@ -7,13 +7,16 @@ pipeline_tag: text-generation
 tags:
 - reward model
 ---
+
+**This repository contains materials for a previous version of the paper. Please refer to the [latest version](https://github.com/psunlpgroup/FoVer).**
+
 # FoVer
 
 <p align="center">
 <a href="https://fover-prm.github.io/">Project Website</a> | 📄 <a href="https://arxiv.org/abs/2505.15960">Paper</a> | 🛠️ <a href="https://github.com/psunlpgroup/FoVer">GitHub</a> | 🤗 <a href="https://huggingface.co/collections/ryokamoi/fover-682e28cc9f6200c7dfd5342f">Dataset</a> | 🤗 <a href="https://huggingface.co/collections/ryokamoi/fover-682e28cc9f6200c7dfd5342f">Models</a>
 </p>
 
-This repository includes code and materials for the paper "Training Step-Level Reasoning Verifiers with Formal Verification Tools".
+This repository includes code and materials for the paper "Efficient PRM Training Data Synthesis via Formal Verification".
 
 Please refer to [Quick Start](#quick-start) for a quick start guide to evaluate your models on the FoVer dataset or evaluate the FoVer models on your dataset.
 
@@ -37,11 +40,11 @@ Please refer to [Quick Start](#quick-start) for a quick start guide to evaluate
 
 
 ```bibtex
-@article{kamoi2025fover,
-  title   = {Training Step-Level Reasoning Verifiers with Formal Verification Tools},
-  author  = {Ryo Kamoi and Yusen Zhang and Nan Zhang and Sarkar Snigdha Sarathi Das and Rui Zhang},
-  journal = {arXiv preprint arXiv:2505.15960},
-  year    = {2025},
+@inproceedings{kamoi2025fover,
+  title   = {Efficient PRM Training Data Synthesis via Formal Verification},
+  author  = {Ryo Kamoi and Yusen Zhang and Nan Zhang and Sarkar Snigdha Sarathi Das and Ranran Haoran Zhang and Wenpeng Yin and Rui Zhang},
+  year    = {2026},
+  booktitle = {Findings of the Association for Computational Linguistics: ACL 2026},
 }
 ```