Forschung
Draft-and-Prune: Zuverlässigkeit der Auto-Formalisation für logisches Schließen
Auto-Formalisation (AF) wandelt natürliche Sprachaufgaben in solver‑ausführbare Programme um und ermöglicht symbolischen Solver:innen, logi…
arXiv – cs.AI