chuxuecao
/

FLV-RL-Qwen2.5-7B

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: 29

Safetensors

Model size

8B params

Tensor type

BF16

·

Inference Providers NEW

This model isn't deployed by any Inference Provider. 🙋 Ask for provider support

Model tree for chuxuecao/FLV-RL-Qwen2.5-7B

Base model

Qwen/Qwen2.5-7B

Finetuned

(771)

this model

Quantizations

Dataset used to train chuxuecao/FLV-RL-Qwen2.5-7B

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

FLV

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

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

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

Paper • 2601.22642 • Published 29 days ago • 9