Cited by 1Logic, Reasoning, and KnowledgeNatural Language Processing TechniquesBayesian Modeling and Causal Inference

The DOI matches its Crossref record; 18 of the 18 references it cites were found in a registry or an index.

Evaluation of LLM Reasoning Under Uncertainty: An Atomic Comparison to Normative Approaches

de Villiers, J.P., de Freitas, A., Jousselme, A-L., Kaplan, L., Blasch, E., Laudy, C., Costa, P. C.·2025·2025 28th International Conference on Information Fusion (FUSION)

Abstract

Evaluating uncertainty in large language model (LLM) reasoning is challenging due to their vast parameter space, abstract knowledge representation, and limited transparency regarding training data. While normative formalisms, such as deductive logic, clearly define sound reasoning in the absence of uncertainty, reasoning under uncertainty admits multiple approaches, including probabilistic reasoning (e.g. Bayesian), belief function reasoning (e.g. Dempster-Shafer), or fuzzy logic, to name a few. This paper examines how LLMs handle uncertainty by analyzing outcomes based on an atomic fusion and reasoning problem. We establish a point of reference using the simplest of fusion topologies to facilitate transparency and understanding of how LLMs align with established theories. The reasoning approaches of different LLMs with varying complexities are compared to established normative frameworks, providing insights into which formalism best aligns with LLM reasoning and assessing its soundness and consistency. A deviation function for assessment is developed, and the results indicate that the tested LLMs' reasoning under uncertainty does not consistently align with established theories, even for the simplest information fusion topologies. These preliminary results form the basis for further investigations and LLM refinements.

Overview

Integrity signals

Registry

Crossref · 10.23919/fusion65864.2025.11123952

Cites

18 of 18 references verified0 citation errors · 0 not checkable

Statistics

Recomputing p-values needs the paper’s full text.

Verification

Claims the paper makes

This paper’s full text isn’t openly available, so its claims and self-check weren’t run. The registry and citation checks still apply.

Citations

Cites

Flagged first, then by citations

Research works printed but not linked: 10

  1. Lu, A survey of deep learning for mathematical reasoning, 14605
  2. Costa, 2018, URREF: Uncertainty representation and reasoning evaluation framework for information fusion, Journal of Advances in Information Fusion, 13, 137
  3. Bakman, MARS: Meaning-aware response scoring for uncertainty estimation in generative LLMs, 7752
  4. Wan, LogicAsker: Evaluating and improving the logical reasoning ability of large language models, 2124
  5. Chollet, 2024, Abstraction and reasoning corpus for artificial general intelligence (arc-agi)
  6. Paruchuri, What are the odds? language models are capable of probabilistic reasoning, 11 712
  7. Shenoy, 1992, Valuation-Based Systems: A framework for managing uncertainty in expert systems, 83
  8. 2025, Gemini 2.0 Flash
  9. 2025, OpenAI o3-mini
  10. 2025, Sonar Reasoning

Cited by

Sorted by citations

Metadata

Authors
de Villiers, J. P., de Freitas, A., Jousselme, A.-L., Kaplan, L., Blasch, E., Laudy, C., & Costa, P. C.
Affiliations
  • University of Pretoria,Pretoria,South Africa
  • CS Research Lab,La Garde,France
  • DEVCOM Army Research Laboratory (US)
  • Rome Laboratory (US)
  • CortAIxLabs/Thales,Palaiseau,France
  • George Mason University (US)
Venue
2025 28th International Conference on Information Fusion (FUSION)
Publisher
IEEE
Published
2025-07-07
Pages
1-8
OpenAlex
W4413679792
Cited by
1
References
13
Citations by year
2026: 1
FWCI
0.96
Type
conference paper
Language
en
Open access
closed
Locations
International Conference on Information Fusion (FUSION) (publishedVersion)
Topics
  • Physical Sciences › Computer Science › Artificial Intelligence › Logic, Reasoning, and Knowledge
  • Physical Sciences › Computer Science › Artificial Intelligence › Natural Language Processing Techniques
  • Physical Sciences › Computer Science › Artificial Intelligence › Bayesian Modeling and Causal Inference
Keywords
large language models, uncertainty reasoning, Dempster-Shafer theory, belief functions, data fusion, normative reasoning, Bayesian reasoning, fuzzy logic, deviation function, LLM evaluation

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review