This is a CERPT-compatible Korean reasoning mixture containing math, logic,
and multi-hop reasoning examples. Each record contains input_text,
target_text, answer, operator labels, validity labels, and a four-cycle
trace.
The data was converted from these sources; their original licenses remain
applicable and attribution is required:
