Suche

Finde Modelle, Firmen und Themen

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

Ergebnisse für “IoT”
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

KI-Modelle erkennen Multidrug-Resistenz bei Bakterien – LIME erklärt <p>Die zunehmende Multidrug-Resistenz (MDR) stellt Kliniker vor enorme Herausforderungen, weil die Behandlungsmöglichkeiten knapp sind und herkömmliche Suszeptibilitätstests lange dauern. In einer neuen Studie wurde ein interpretierbares Machine‑Learning‑Framework entwickelt, das MDR bei bakteriellen Isolaten anhand klinischer Merkmale und Antibiotikensensitivitätsprofile vorhersagen kann.</p> <p>Fünf Klassifikationsmodelle – Logistic

arXiv – cs.LG