Finde Modelle, Firmen und Themen

Der Sprung von sequentiellen zu parallelen Systemen ist für moderne Hochleistungsanwendungen unverzichtbar, doch die steile Lernkurve der C…

Die effiziente Nutzung von Langzeitkontexten in großen Sprachmodellen bleibt ein zentrales Problem. Traditionelle Ansätze wie amortisierte…

Ein neues Forschungsmodell, das Online-Algorithmen mit unzuverlässiger Anleitung (OAG) genannt wird, trennt die Vorhersage- und Algorithmus…

Helion ist eine hochrangige Domain‑Specific Language (DSL), die Entwicklern ermöglicht, leistungsstarke Machine‑Learning‑Kernels mit einer…

**Answer** The code you posted is a **C++** program that uses the **OpenCV** library. It is not a script that can be executed in a browser…

Forscher haben ein neues Tool namens RuleFlow vorgestellt, das Pandas-Programme deutlich schneller macht. Die Optimierung von Pandas-Code i…

Der seit den 1970er Jahren bekannte Phase‑Ordering‑Wettbewerb bleibt ein offenes Problem, weil die Optimierungs­landschaft riesig und unbes…

In einem experimentellen Projekt haben 16 KI-Agenten von Claude gemeinsam einen neuen C‑Compiler entwickelt. Das Projekt, das mit 20.000 US…

Compiler‑Auto‑Tuning steht vor einer klassischen Wahl: traditionelle Black‑Box‑Suchmethoden bieten keine semantische Orientierung, während…

Moderne Compiler setzen stark auf von Menschen entworfene Heuristiken, die oft nicht mehr mit der Komplexität aktueller Software und Hardwa…

Der Triton‑Compiler verfolgt das Ziel, performanzportablen Code und Laufzeitumgebungen für KI‑Kernels auf verschiedensten Hardwareplattform…

Die neueste Veröffentlichung auf arXiv (2512.15742v1) präsentiert SHARe-KAN, ein innovatives Verfahren zur Reduktion des Speicherverbrauchs…

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 KI-gestützten Mehrschritt-Workflows ist das Problem der Kontextverschmutzung allgegenwärtig: je mehr Informationen sich übe…

Ein neues automatisiertes Pipeline-Konzept nutzt zwei große Sprachmodelle – einen Fragegenerator und einen Lösungsanbieter – um Codeüberset…

IndiMathBench ist ein neu entwickeltes, von Menschen verifiziertes Benchmark‑Set, das die Leistungsfähigkeit von automatischen Theorem‑Prov…

Die neueste Entwicklung im Bereich der großen Sprachmodelle zeigt, dass das Pre‑Training von Mixture‑of‑Experts (MoE) Modellen wie DeepSeek…

Quant‑Trim bringt die Low‑Bit‑Quantisierung von Edge‑Acceleratoren auf ein neues Level. Durch einen gezielten Trainingsschritt erzeugt die…

Im rasch wachsenden Feld der künstlichen Intelligenz verschiebt sich die Kluft zwischen hochrangigen Domain-Operationen und effizienter Har…

In einer kürzlich veröffentlichten Arbeit auf arXiv werden zwei neue Verfahren vorgestellt, die qualitative Zustands­trajektorien­beschränk…

Mit dem neuen Compiler FuseFlow wird die Verarbeitung von sparsamen Deep‑Learning‑Modellen auf reconfigurable Dataflow‑Architekturen (RDAs)…

In den letzten Jahren haben end‑to‑end Large Language Models (LLMs) in vielen Bereichen bemerkenswerte Fortschritte erzielt. Besonders span…

In der formalen Verifikation ist die automatische Formalisierung ein zentrales Ziel, das bislang durch fehlende Daten und ineffiziente Meth…

Das neueste Update von IREE, dem MLIR‑basierten Compiler und Laufzeit für maschinelles Lernen, bringt erstmals vollständigen RISC‑V‑Microke…

Die neueste Veröffentlichung auf arXiv (2508.15010v1) stellt TOAST vor – ein automatisiertes Partitionierungssystem, das große Machine‑Lear…

Der Energieverbrauch beim Training großer KI‑Modelle wächst exponentiell, was die Nachhaltigkeit von Deep‑Learning‑Anwendungen stark belast…

TensorFlow 2.20 ist jetzt verfügbar. Das neue Release bringt zahlreiche Verbesserungen und neue Features, die die Entwicklung von Machine‑L…