Ni, Z., Liang, Z., Song, L., Cao, C., Zhang, X., Sangiovanni-Vincentelli, A., & Nuzzo, P. (2026). Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning.
Chicago-Zitierstil (17. Ausg.)Ni, Zhiyu, Zheng Liang, Liangcheng Song, Chenrui Cao, Xian Zhang, Alberto Sangiovanni-Vincentelli, und Pierluigi Nuzzo. Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning. 2026.
MLA-Zitierstil (9. Ausg.)Ni, Zhiyu, et al. Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.