TY  - RPRT
TI  - Proof Flow: Preliminary Study on Generative Flow Network Language Model Tuning for Formal Reasoning
AU  - Matthew Ho
AU  - Vincent Zhu
AU  - Xiaoyin Chen
AU  - Moksh Jain
AU  - Nikolay Malkin
AU  - Edwin Zhang
PY  - 2024
UR  - https://arxiv.org/abs/2410.13224
ID  - 2410.13224
ER  -