Änderungen an verlinkten Seiten
Gib einen Seitennamen ein, um Änderungen auf Seiten zu sehen, die auf oder von dieser Seite verlinkt sind. Um Mitglieder einer Kategorie zu sehen, gib „Kategorie:Name der Kategorie“ ein. Änderungen an Seiten auf deiner Beobachtungsliste sind fett hervorgehoben.
Liste von Abkürzungen:
- N
- Neue Seite (siehe auch die Liste neuer Seiten)
- K
- Kleine Änderung
- B
- Änderung durch einen Bot
- (±123)
- Die Änderung der Seitengröße in Bytes
1. Dezember 2025
| 09:15 | Datei-Logbuch Nicolas Sebastian Schuler Diskussion Beiträge lud Datei:Master Thesis Formalizing and Verifying LLM Based Abductive Reasoning for System Explanations-1.pdf hoch (Critical AI decision-making demands formally trustworthy explanations. Current neuro- symbolic pipelines use Multimodal Language Models (MLMs) to translate visual data into logic, but often discard valuable uncertainty by forcing binary decisions. While MLMs natu- rally express confidence through linguistic markers (e.g., ”likely”), these cues remain uncali- brated and unused in reasoning. This thesis aims to bridge this gap by extracting, calibrating, and propagating linguistic uncertainty int…) | ||||