Suche

Finde Modelle, Firmen und Themen

Suche im News-Archiv nach Themen, die du dauerhaft verfolgen willst.

Ergebnisse für “ICL”
Forschung

<p>LLMs meistern Mehrstufige Theoremvorhersage dank struktureller Priors</p> <p>In der automatisierten Beweistechnik stellt die Vorhersage von mehrstufigen Theoremen eine zentrale Herausforderung dar. Traditionelle neuronale‑symbolische Ansätze setzen stark auf überwachungsbasierte, parametrisierte Modelle, die jedoch bei sich wandelnden Theorem-Bibliotheken nur begrenzte Generalisierung zeigen. In einer neuen Studie wird ein komplett trainingsfreier Ansatz vorgestellt, der auf In‑Context‑Learning (ICL) bas

arXiv – cs.AI
Forschung

<p>Large Language Models können bekannte Inhalte geschickt kombinieren, doch sie scheitern häufig daran, wirklich neue und zugleich zusammenhängende Forschungsideen zu generieren. In der Studie wird dieses Defizit als „kognitive Verfügbarkeit“ bezeichnet – die Wahrscheinlichkeit, dass ein Forschungsthema von einem typischen Forscher spontan vorgeschlagen wird.</p>

Um dieses Problem anzugehen, wird ein dreistufiger Prozess vorgestellt: Erst werden wissenschaftliche Arbeiten in kleine, inhaltlich zusamm…
arXiv – cs.AI