Finde Modelle, Firmen und Themen

In einer kürzlich veröffentlichten Arbeit auf arXiv wird ein langjähriges Rätsel der Modallogik endlich gelöst: die Logik des gemeinsamen G…

Ein neues arXiv‑Veröffentlichung (2602.15158v1) präsentiert eine innovative Herangehensweise an die Herausforderung der ontologischen Heter…

In der Welt der datengetriebenen Modelle ist der Shapley-Wert ein bewährtes Werkzeug zur Bewertung von Daten und zur Attribution von Merkma…

In den letzten Jahren ist die Erklärung von Entscheidungen komplexer Machine‑Learning‑Modelle zu einem entscheidenden Faktor in Bereichen w…

In einer wegweisenden Veröffentlichung präsentiert ein Team von Forschern ein umfassendes axiomatisches Rahmenwerk, das die Grundlagen von…

Das Berliner Startup Axiom hat mit seiner KI vier seit Jahrzehnten ungelöste mathematische Probleme gelöst. Diese Durchbrüche zeigen, dass…

In einer bahnbrechenden Arbeit wird gezeigt, dass tiefe ReLU‑Netzwerke nicht nur komplexe Funktionen berechnen, sondern auch zahlreiche fun…

Die Suche nach Artificial General Intelligence (AGI) steht im Mittelpunkt der Weiterentwicklung von Sprachmodellen. Dabei könnte ein Bewuss…

In der Welt des Reinforcement Learning mit menschlichem Feedback (RLHF) werden die vielfältigen Präferenzen der Nutzer oft zu einer einzige…

In einer wegweisenden Studie wird die Frage untersucht, ob künstliche allgemeine Intelligenz (AGI) eine eindeutige theoretische Definition…

Eine neue Veröffentlichung auf arXiv präsentiert einen innovativen Ansatz, mit dem große Sprachmodelle ihre Fähigkeiten im mehrstufigen, zu…

In einer wegweisenden Erweiterung des Sparse‑KD‑Frameworks für Probabilitätsdistillation präsentiert ein neues Papier ein axiomat­isches, o…

Ein neues Forschungsmodell namens SANC(E3) liefert einen klaren, axiomatisierten Ansatz dafür, wie allgemeine Intelligenz ihre internen Str…

Ein neues Forschungsdokument präsentiert einen differenzierbaren Ansatz, der die axiomatische Struktur von Random Utility Models (RUM) dire…

Forscher haben ein neues Konzept vorgestellt, das große Sprachmodelle (LLMs) mit Theoremprüfern (TPs) kombiniert, um natürliche Sprachinfer…

In einer kürzlich veröffentlichten Arbeit auf arXiv wird ein neues, modellunabhängiges Messinstrument namens Temporal Range vorgestellt, da…

In einer neuen Studie zum Ontologie-Lernen mit großen Sprachmodellen (LLMs) wurde ein umfassender Benchmark namens OntoAxiom entwickelt. De…

In einer wegweisenden Veröffentlichung präsentiert der Autor eine überzeugende Lösung für das seit Jahrzehnten diskutierte Zadehs Paradox…

Ein neuer Beitrag auf arXiv präsentiert einen einfachen, aber wirkungsvollen Ansatz für die Generalisierte Planung (GP). Dabei werden aus e…

Viele reale Entscheidungsprobleme erfordern die gleichzeitige Optimierung mehrerer Ziele, wodurch die Auswahl der bevorzugten Lösung zu ein…

In der Ontologieentwicklung sind Competency Questions (CQs) unverzichtbar, um die Richtigkeit von Modellen zu prüfen. Doch die manuelle Ers…

In einer wegweisenden Studie wird die Datenkomplexität von Abfragen in inkonsistenten, gewichteten Description‑Logic‑Wissensbasen unter ein…

Ein neues arXiv‑Papiervorlage (2509.21836v1) präsentiert ein innovatives Rahmenwerk, das Entscheidungen mithilfe von Axiomen modelliert – A…

In einer kürzlich veröffentlichten Arbeit auf arXiv wird die Logik virtueller Gruppenkognition und -glaube in topologischen Evidenzmodellen…

In einer wegweisenden Veröffentlichung präsentiert ein Team von Forschern ein umfassendes Konzept für das Vergessen von Wissen in epistemis…

Ein neues arXiv‑Veröffentlichung präsentiert ein mathematisches Rahmenwerk, das die nachhaltige Akzeptanz von KI‑Agenten bei der Ausführung…