Proof Flow: Preliminary Study on Generative Flow Network Language Model Tuning for Formal Reasoning

Open in new window