Schließung der Schleife: Formal verifizierbares Recht als Reward Signal für selbstverbessernde Legal AI

arXiv:2606.23913v1 Announce Type: new Abstract: Dieser Artikel entwickelt eine Architektur, die ein formal verifizierbares Reward Signal zur Trainierung von Legal AI erzeugt, indem das LLM-proposes-verifier-disposes-Paradigma von mathematischer AI an die besonderen Anforderungen des Rechtswesens angepasst wird. Wir präsentieren eine Architektur, die umfasst