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, logische Schlüsse zu ziehen. In der Praxis sind AF‑Pipelines jedoch fehleranfällig…