@misc{indiciaec29e2d98d0ff,
  title = {Stratified Consistency Distillation for Natural Language Formalization},
  author = {Zhichao Hou and Ferhat Erata and Joe Lilien and MohamadAli Torkamani},
  year = {2026},
  url = {https://arxiv.org/abs/2608.30258},
  note = {Source identifier: 2608.30258}
}