dogehhh/CDL-Solver

GitHub: dogehhh/CDL-Solver

该项目通过简洁几何描述（CDL）作为中间表示，提升大语言模型在平面几何问题求解中的推理能力，并公开了对应的数据集、模型权重和训练流程。

Stars: 0 | Forks: 0

# 🧩 CDL-Solver ### 简洁的几何描述作为桥梁：释放 LLM 在平面几何问题求解中的潜力 [![会议](https://img.shields.io/badge/CVPR'26-Findings-1f6feb?style=flat-square)](https://openaccess.thecvf.com/content/CVPR2026F/html/Wang_Concise_Geometric_Description_as_a_Bridge_Unleashing_the_Potential_of_CVPRF_2026_paper.html) [![数据集](https://img.shields.io/badge/🤗%20HuggingFace-Dataset-ffca28?style=flat-square)](https://huggingface.co/datasets/bzh666/Formalgeo7k_cot_conscdl_0930) [![许可证](https://img.shields.io/badge/License-MIT-2ea44f?style=flat-square)](LICENSE) [![Python](https://img.shields.io/badge/Python-3.10+-3776ab?style=flat-square&logo=python&logoColor=white)](https://www.python.org/)

## 📦 数据 | 数据集 | 描述 | 链接 | | :--- | :--- | :---: | | **Formalgeo-Rec-CoT** | 带有简洁 CDL Chain-of-Thought 标注的 Formalgeo7k | [🤗 HuggingFace](https://huggingface.co/datasets/bzh666/Formalgeo7k_cot_conscdl_0930) | ## 🏋️ 模型权重我们发布了以下模型 checkpoint： | 基础模型 | 阶段 | 链接 | | :--- | :---: | :---: | | **Qwen3-VL-8B** | SFT | [🤗 HuggingFace](https://huggingface.co/bzh666/sft_formalgeo7kv2_CoT_consCDL_0930_qwen3-vl8b) | | **Qwen3-VL-8B** | RL | [🤗 HuggingFace](https://huggingface.co/bzh666/qwen3_vl_8b_formalgeo7kv2_CoT_consCDL_0930_f1score) |