FLV
Collection
Dataset and Models of Paper "Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification in Language Models" • 5 items • Updated • 1
Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification in Language Models
📄 Paper | 🤗 Models and Datasets
Overview
Inference Providers NEW
This model isn't deployed by any Inference Provider. 🙋 Ask for provider support
Model tree for chuxuecao/FLV-RL-Qwen2.5-14B
Base model
Qwen/Qwen2.5-14B