TY  - RPRT
TI  - Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
AU  - Luoxin Chen
AU  - Yichi Zhou
AU  - Huishuai Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2603.29500
ID  - 2603.29500
ER  -