Finde Modelle, Firmen und Themen

Die neue Methode MMKG‑RDS nutzt multimodale Wissensgraphen, um hochwertige Trainingsdaten für das Reasoning von KI‑Modellen zu erzeugen. Du…

In der Welt der Hardware‑Verifikation hat das neue Framework LLM4Cov einen bedeutenden Schritt nach vorne gemacht. Durch die Kombination vo…

Die Analyse von Zeitreihen ist in vielen Bereichen unverzichtbar, doch bisher konnten große Sprachmodelle (LLMs) ihr volles Potenzial in di…

In der formalen Mathematik sind agentische Arbeitsabläufe oft zu teuer, was die Erstellung großer, offener Datensätze erschwert. Mit dem ne…

In der Welt der mathematischen Problemlösung setzen große Sprachmodelle (LLMs) zunehmend auf qualitativ hochwertige Trainingsdaten, die kla…

Large‑Language‑Model‑basierte Anwendungen sind heute allgegenwärtig, doch ihre Sicherheit steht unter Druck: Angreifer nutzen Prompt‑Inject…

Die Entwicklung von „embodied intelligence“ – also KI, die in der realen Welt handeln kann – wird bislang durch die begrenzte räumliche Wah…

ToolForge ist ein neues Synthese‑Framework, das die Trainingsdaten für große Sprachmodelle (LLMs) ohne kostenintensive reale API‑Aufrufe er…

In einer wegweisenden Veröffentlichung präsentiert ein Forschungsteam einen skalierbaren Ansatz zur Datensynthese für Computer‑Use‑Agents (…

In einer wegweisenden Veröffentlichung präsentiert ein Forschungsteam einen innovativen Ansatz zur Datensynthese, der große Rechenmodelle f…

Das neue Verfahren CAC-CoT (Connector‑Aware Compact Chain‑of‑Thought) reduziert die Länge der Chain‑of‑Thought‑Spuren drastisch, ohne die L…