@misc{indiciae78fa0d9496ea,
  title = {Proof Flow: Preliminary Study on Generative Flow Network Language Model Tuning for Formal Reasoning},
  author = {Matthew Ho and Vincent Zhu and Xiaoyin Chen and Moksh Jain and Nikolay Malkin and Edwin Zhang},
  year = {2024},
  url = {https://arxiv.org/abs/2410.13224},
  note = {Source identifier: 2410.13224}
}