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 d…