Finde Modelle, Firmen und Themen

Weltmodelle sind entscheidend für Planung und Bewertung von agentenbasierten Systemen. Bisher stehen zwei extreme Ansätze zur Verfügung: ha…

Ein brandneues Benchmark-Dataset namens Engineering Reasoning and Instruction (ERI) wurde veröffentlicht, das speziell dafür entwickelt wur…

In einer wegweisenden Veröffentlichung skizziert ein Team von Forschern ein neues Paradigma für autonome Agenten, die nicht nur effizient l…

Traditionelle Software setzt auf Verträge – APIs, Typsysteme und Assertions – um korrektes Verhalten zu garantieren. Autonome KI-Agenten hi…

Eine erfolgreiche COBOL-Modernisierung setzt auf eine Lösung, die deterministisch rückwärtsentwickelt, validierte und nachvollziehbare Spez…

Die rasante Weiterentwicklung von Large Language Models (LLMs) führt sie zunehmend in die Rolle autonomer Agenten. Doch ohne klare, struktu…

In der KI‑Entwicklung geht es nicht nur darum, Aufgaben zu lösen, sondern auch, wie sie gelöst werden. Damit künstliche Intelligenzen veran…

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

Die meisten KI-Bewertungen leiden unter ihrer statischen Natur: Gleiche Aufgaben werden immer wieder verwendet, was zu Memorierung, Format-…

In einer aktuellen Veröffentlichung auf arXiv wird ein innovatives Verfahren vorgestellt, das Sprachmodell-Assistenten auf ihre Einhaltung…

Moderne KI-Agenten können immer komplexere Aufgaben bewältigen, doch um noch ambitioniertere Ziele zu erreichen, müssen sie Probleme in han…

In einer kürzlich veröffentlichten Studie der Fraunhofer‑IISB (Institut für Software‑ und Systemtechnik) wurde das neue Framework FormalJud…

Produktmanager, die ChatGPT nicht nur als Chatbot, sondern als vollwertiges Tool einsetzen, können ihre Produktivität um ein Vielfaches ste…

In einer wegweisenden Veröffentlichung stellen die Autoren ein neues Framework vor, das die logische Spezifikation von nicht-Markovianen Be…

StrongDM hat kürzlich die erste öffentliche Beschreibung seiner „Software Factory“ veröffentlicht – ein System, bei dem Spezifikationen und…

In einer aktuellen Veröffentlichung auf arXiv wird ein neues Verfahren vorgestellt, das die Erzeugung von synthetischen Daten für mehrfache…

Die 3rd Generation Partnership Project (3GPP) liefert weltweit die technischen Grundlagen für Mobilfunknetze, doch ihre komplexen, hierarch…

Die rasante Entwicklung großer Sprachmodelle (LLMs) hat das Interesse an deren Einsatz in autonomen Systemen für perception‑, planning‑ und…

Die rasante Verbreitung von KI‑Algorithmen in sicherheitskritischen Bereichen wie autonomem Fahren und Gesundheitswesen wirft ernsthafte Fr…

In der Verifikation neuronaler Feedbacksysteme, also dynamischer Systeme, die von neuronalen Netzwerken gesteuert werden, dominiert seit la…

In einer wegweisenden Studie präsentiert ein neues Retrieval‑Augmented Multi‑LLM Ensemble, das die Extraktion von Teilspezifikationen aus u…

Reproduzierbarkeit ist in der Prognoseforschung ein zentrales Problem, besonders wenn Vorhersagen Entscheidungen mit hohem Risiko steuern…

Probabilistische Graphische Modelle entdecken latente Strukturen, doch ihre Wirksamkeit hängt stark von gut spezifizierten Modellen ab. Die…

In einer wegweisenden theoretischen Arbeit wurde die Generalisierte Bisimulation-Metrik (GBSM) vorgestellt, die erstmals Zustände aus belie…

PyTorch hat eine neue Hardware‑Software‑Co‑Design‑Strategie vorgestellt, die es Entwicklern ermöglicht, KI‑Modelle gezielt an die Beschränk…

In der Welt der Diffusionsmodelle ist die Einhaltung von Einschränkungen ein zentrales Problem, besonders in wissenschaftlichen Anwendungen…

Die Dokumentation von KI-Modellen ist bislang über verschiedene Plattformen verstreut und strukturell uneinheitlich. Das erschwert es Polit…

Programmable Logic Controllers (PLCs) sind unverzichtbare Bausteine industrieller Steuerungssysteme, doch ihre Offenheit gegenüber der Auße…

Ein neues Verfahren nutzt Large Language Models (LLMs) als Agenten, um komplexe 3D‑Karten ohne vorangehendes Training zu erzeugen. Dabei ar…