chuxuecao
/

FLV-RL-Qwen2.5-14B

Model card Files Files and versions

Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification in Language Models

📄 Paper | 🤗 Models and Datasets

Overview

Downloads last month: -; Downloads are not tracked for this model. How to track

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

Finetuned

(101)

this model

Datasets used to train chuxuecao/FLV-RL-Qwen2.5-14B

Collection including chuxuecao/FLV-RL-Qwen2.5-14B

FLV

Dataset and Models of Paper "Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification in Language Models" • 5 items • Updated 19 days ago • 1

Paper for chuxuecao/FLV-RL-Qwen2.5-14B

Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification

Paper • 2601.22642 • Published 22 days ago • 9