Neuro‑Symbolische KI CodeLogician verbessert Softwareanalyse um bis zu 47 %
Large Language Models (LLMs) haben in der Code‑Verständnis‑Forschung große Fortschritte erzielt, doch sie fehlen die Fähigkeit, präzise und umfassende mathematische Schlüsse über das Verhalten von Programmen zu ziehen. Mit dem neu entwickelten Agenten CodeLogician wird dieses Problem angegangen: LLMs werden genutzt, um explizite formale Modelle von Softwaresystemen zu erstellen, die anschließend von ImandraX – einem industriellen automatisierten Beweis‑Engine, der bereits in Finanzmärkten und sicherheitskritischen Anwendungen eingesetzt wird – analysiert werden.
