Finde Modelle, Firmen und Themen

Ein neu entwickeltes Bewertungsframework ermöglicht die systematische und nachvollziehbare Prüfung von logischen Reasoning-Agenten. Es legt…

Auf der Plattform arXiv wurde ein neues Benchmark‑Set namens ABD vorgestellt, das die Herausforderung der Default‑Exception‑Abduktion in en…

In einer wegweisenden Studie präsentiert das neueste Forschungsdokument die neurosymbolische Sprache Logitext, die natürliche Sprachtexte a…

In einer wegweisenden Studie stellen Forscher die Grenzen reiner Deep‑Learning‑Ansätze für die Molekül- und Graphgenerierung in den Fokus…

Wissenschaftler haben einen innovativen Weg entwickelt, um ein bislang schwieriges Problem der theoretischen Informatik zu lösen: das exakt…

In einer wegweisenden Veröffentlichung auf arXiv präsentiert ein Forschungsteam einen völlig neuen Ansatz zur Entwicklung von verteilten Pr…

Ein brandneues Framework vereint große Sprachmodelle (LLMs) mit Satisfiability Modulo Theories (SMT)-Lösern, um die komplexen Anforderungen…

Quantifizierte Formeln mit uninterpretierten Funktionen (UFs) über nichtlineare reelle Arithmetik stellen SMT-Solver vor enorme Herausforde…

In einer neuen Veröffentlichung wird gezeigt, wie das Inductive Logic Programming‑System PyGol nahtlos mit dem SMT‑Solver Z3 zusammenarbeit…

In einer wegweisenden Studie wird ein neues Framework namens L4M vorgestellt, das die Zuverlässigkeit von KI im juristischen Bereich deutli…

Die Sicherheit autonomer Systeme hängt entscheidend davon ab, ob ihre dynamischen Modelle zuverlässig verifiziert werden können. Traditione…

In der Forschung zu großen Sprachmodellen (LLMs) sind hochwertige, verifizierbare Datensätze entscheidend, um deren logisches und mathemati…

Ein neues arXiv‑Veröffentlichungsdokument präsentiert einen innovativen Ansatz, der die Herausforderung von quantifizierten Formeln in Sati…