LLM-gestützte Formalisierung erkennt Gesetzeskonflikte im US-Steuerrecht zuverlässig
Ein neues, hybrides Neuro‑Symbolik‑Framework kombiniert große Sprachmodelle (LLMs) mit symbolischer Logik, um Gesetzeskonflikte im komplexen US‑Internal Revenue Code (IRC) deterministisch zu erkennen. Das System nutzt die Vielschichtigkeit des IRC als Testfeld, um widersprüchliche Bestimmungen zuverlässig aufzudecken.
