@misc{indiciaeea89f52ef878,
  title = {Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries},
  author = {Luoxin Chen and Yichi Zhou and Huishuai Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2603.29500},
  note = {Source identifier: 2603.29500}
}