@misc{indiciaed59986d8d6b8,
  title = {Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning},
  author = {Zhiyu Ni and Zheng Liang and Liangcheng Song and Chenrui Cao and Xian Zhang and Alberto Sangiovanni-Vincentelli and Pierluigi Nuzzo},
  year = {2026},
  url = {https://arxiv.org/abs/2603.17233},
  note = {Source identifier: 2603.17233}
}