Introduces decision-alignment to evaluate uncertainty metrics against downstream decision utilities and proposes prior-weighted proper scoring rules that align better in benchmarks and case studies.
Mushroom, 1981
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.LG 2verdicts
UNVERDICTED 2representative citing papers
LoH adds a learnable choice operator to propositional logic, compiles formulas to differentiable graphs via fuzzy logic, subsumes prior NeSy models, and supports discretization to Boolean functions via the Gödel trick.
citing papers explorer
-
Decision-Aligned Evaluation of Uncertainty Quantification
Introduces decision-alignment to evaluate uncertainty metrics against downstream decision utilities and proposes prior-weighted proper scoring rules that align better in benchmarks and case studies.
-
Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
LoH adds a learnable choice operator to propositional logic, compiles formulas to differentiable graphs via fuzzy logic, subsumes prior NeSy models, and supports discretization to Boolean functions via the Gödel trick.