Synthesis of Reliable Logic Question Answering Data for Large Language Model with Aid of Operations Research Program
Logical reasoning is a highly valued capability in language models. However, high-quality logical reasoning data remain scarce, while manual data creation is costly and time-consuming. We introduce Operations Research Aided Synthesis (ORAS), a solver-verified, two-layer incremental framework for synthesizing logic ques...
Li You, Bao-Zheng Jiang, Wen-Ying Qiu et al.
· International journal of pat... · 0 citations