Update README.md
Browse files
README.md
CHANGED
|
@@ -9,7 +9,7 @@ base_model:
|
|
| 9 |
|
| 10 |
# 🧩 ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
|
| 11 |
|
| 12 |
-
<a href="https://arxiv.org/pdf/
|
| 13 |
<a href="https://huggingface.co/collections/GuoxinChen/reform"><img src="https://img.shields.io/badge/%F0%9F%A4%97%20Hugging%20Face-Models-0984e3"></a>
|
| 14 |
<a href="https://github.com/Chen-GX/ReForm"><img src="https://img.shields.io/badge/GitHub-ReForm-black?logo=github"></a>
|
| 15 |
|
|
@@ -65,10 +65,13 @@ More Details please refer to our [Github Repo](https://github.com/Chen-GX/ReForm
|
|
| 65 |
If you find ReForm useful for your research, please cite:
|
| 66 |
|
| 67 |
```bibtex
|
| 68 |
-
@
|
| 69 |
-
|
| 70 |
-
|
| 71 |
-
|
| 72 |
-
|
|
|
|
|
|
|
|
|
|
| 73 |
}
|
| 74 |
```
|
|
|
|
| 9 |
|
| 10 |
# 🧩 ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
|
| 11 |
|
| 12 |
+
<a href="https://arxiv.org/pdf/2510.24592"><img src="https://img.shields.io/badge/Paper-arXiv-d63031?logo=arxiv&logoColor=white"></a>
|
| 13 |
<a href="https://huggingface.co/collections/GuoxinChen/reform"><img src="https://img.shields.io/badge/%F0%9F%A4%97%20Hugging%20Face-Models-0984e3"></a>
|
| 14 |
<a href="https://github.com/Chen-GX/ReForm"><img src="https://img.shields.io/badge/GitHub-ReForm-black?logo=github"></a>
|
| 15 |
|
|
|
|
| 65 |
If you find ReForm useful for your research, please cite:
|
| 66 |
|
| 67 |
```bibtex
|
| 68 |
+
@misc{chen2025reform,
|
| 69 |
+
title={ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization},
|
| 70 |
+
author={Guoxin Chen and Jing Wu and Xinjie Chen and Wayne Xin Zhao and Ruihua Song and Chengxi Li and Kai Fan and Dayiheng Liu and Minpeng Liao},
|
| 71 |
+
year={2025},
|
| 72 |
+
eprint={2510.24592},
|
| 73 |
+
archivePrefix={arXiv},
|
| 74 |
+
primaryClass={cs.CL},
|
| 75 |
+
url={https://arxiv.org/abs/2510.24592},
|
| 76 |
}
|
| 77 |
```
|