PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data

Kai Xiong, Yanwei Huang, Rongjunchen Zhang +3

High-quality mathematical and logical datasets with verifiable answers are essential for strengthening the reasoning capabilities of large language models (LLMs). While recent data…