Finde Modelle, Firmen und Themen

Biologische Nervensysteme sind extrem schnell, aber gleichzeitig stark energiebeschränkt. Die Evolution hat dafür eine elegante Lösung gefu…

Ein innovativer Ansatz aus der KI-Forschung verspricht, Constraint‑Satisfaction‑Probleme (CSP) effizient zu lösen. Auf arXiv veröffentlicht…

In einer neuen Studie aus dem arXiv-Repository wird gezeigt, dass moderne Video‑Generierungsmodelle inzwischen in der Lage sind, komplexe l…

Reinforcement‑Learning‑Posttraining optimiert üblicherweise nur einen einzigen Skalarwert und nutzt dabei kaum die Struktur, wie Lösungen t…

In der Welt der Logikrätsel, von klassischen Sudokus bis zu komplexen Logik-Grid-Spielen, gewinnen schrittweise Erklärungen zunehmend an Be…

Recursive‑Reasoning‑Modelle erreichen mit iterativer Verfeinerung beeindruckende Ergebnisse bei komplexen Aufgaben und ermöglichen es winzi…

Ein neues Forschungsprojekt namens HardcoreLogic stellt große Sprachmodelle (LRMs) vor eine anspruchsvolle Herausforderung: 5.000 Logikräts…

In einer neuen Studie wird eine differenzierbare neuro‑symbolische Architektur vorgestellt, die es ermöglicht, NP‑schwere Logik‑ und Optimi…

Ein neues Verfahren aus dem Bereich der künstlichen Intelligenz kombiniert die generative Kraft von Diffusionsmodellen mit neuro-symbolisch…