atlas

Research map / Large language models / Agents, code and math

Reasoning over Uncertain Text by Generative Large Language Models

AAAI 2025 · Large language models › Agents, code and math · approach: Mathematical and structural reasoning benchmarks · 4 citations (OpenAlex)

Read the paperCheck your idea against 108,967 papers

AI-extracted summary. Written by AI from the paper's full text. Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.

Introduces BLInD, a synthetic dataset of Bayesian-network-based probabilistic reasoning over text, and prompting methods (PAL, Monte Carlo, ProbLog, with number extraction and graph generation subtasks) that map problems to symbolic solvers, evaluated on GPT-3.5, GPT-4, and Llama3-70B.

Problem

LLMs struggle to perform probabilistic reasoning over text that explicitly states probabilities, such as Bayesian network queries expressed in natural language.

Approach

Map natural-language probabilistic contexts to formal representations (Python arithmetic, Monte Carlo direct-sampling code, or ProbLog programs), with optional subtasks that first extract CPT numbers and the dependency graph, and execute them with external solvers.

Key results

Measured effects reported in the paper

What was changedWhereMeasuredEffect
Map probabilistic questions to ProbLog instead of direct COT promptingGPT3.5 · BLInD V₂₋₁₀accuracy: 12 -> 62Helped
Map probabilistic questions to ProbLog instead of direct COT promptingLlama3 · BLInD V₂₋₁₀accuracy: 22 -> 89Helped
Map probabilistic questions to ProbLog instead of direct COT promptingGPT4 · BLInD V₂₋₁₀accuracy: 29 -> 98Helped
Add Number Extraction to PAL (ablation)GPT3.5 · BLInD V₂₋₁₀accuracy: 19 -> 29Helped
Add Number Extraction to PAL (ablation)Llama3 · BLInD V₂₋₁₀accuracy: 40 -> 48Helped
Add Number Extraction to PAL (ablation)GPT4 · BLInD V₂₋₁₀accuracy: 48 -> 49No clear effect
Add Graph Generation to Monte Carlo (ablation)GPT3.5 · BLInD V₂₋₁₀accuracy: 46 -> 49Helped
Add Graph Generation to Monte Carlo (ablation)GPT4 · BLInD V₂₋₁₀accuracy: 94 -> 95Helped
Add Graph Generation to Monte Carlo (ablation)Llama3 · BLInD V₂₋₁₀accuracy: 87 -> 82Hurt
Add Graph Generation to Monte Carlo (ablation)GPT3.5 and GPT4 · CLADDER hard tests adaptationaccuracy: GPT3.5: 75 -> 75; GPT4: 98 -> 97No clear effect
Use Monte Carlo inference instead of PALGPT3.5 · BLInD V₂₋₁₀accuracy: 19 -> 46Helped
Use Monte Carlo inference instead of PALLlama3 · BLInD V₂₋₁₀accuracy: 40 -> 87Helped

Surprising findings

Limitations

Experimental setup

Datasets: BLInD CLADDER (hard test split, adapted)

Benchmarks: BLInD CLADDER adapted

Metrics: accuracy (within ±0.01 of ground truth) subtask accuracy

Baselines: Basic QA prompting Chain of Thought PAL

Builds on: Chain-of-thought prompting Program-aided Language Models (PAL) ProbLog CLADDER pgmpy

Closest papers by meaning

Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.

Open scime draft

Get the next scime Dispatch and a monthly field update

Free. We send a confirmation link first; every email has a one-click unsubscribe. Privacy