Article

Ensuring Inferential Reliability in Clinical LLMs: A Proof-Theoretic Approach via the ISA System

2026-07-28

Abstract excerpt

Large language models are increasingly being adopted in clinical education and decision support, yet their reasoning remains largely opaque and susceptible to hallucinations, limiting their reliability in high-stakes medical settings. This paper presents ISA (Informatore Scientifico Artificiale), a neuro-symbolic framework that constrains Gemini 3.5 to perform clinical reasoning within a propositional proof system...

Topics

Open a Topic to create a Post that cites this publication.

Identifiers and source

Literature Corpus work: c790ab73-ca7c-56b2-8e45-b51979591106
DOI: 10.20944/preprints202607.2066.v1

Open publication

Related research

Semantic proximity does not establish scientific evidence.

Click a neighbor to travelStep 1 · 12 closest

Ensuring Inferential Reliability in Clinical LLMs: A Proof-Theoretic Approach via the ISA SystemDOI 10.20944/preprints202607.2066.v1Read

Human–Agent Joint Diagnosis with ValidLLP4LLM: A Labeled Logic Framework for Validating LLM ReasoningSemantic proximity Read

From Argumentation to Labeled Logic Program for LLM VerificationSemantic proximity Read

ClinAgent: A Five-Layer Architecture for Autonomous Clinical Trial Statistical ProgrammingSemantic proximity Read

Discourse Structure as an Interpretable Signal for Detecting Hallucinated Chain-of-Thought Reasoning in Large Language ModelsSemantic proximity Read

Medical Hallucination in Foundation Models and Their Impact on HealthcareSemantic proximity Read

Probabilistic Chain-of-Evidence: Enhancing Factual Accuracy and Uncertainty Reasoning in Large Language Models via Prompt EngineeringSemantic proximity Read

An LLM-assisted framework for accelerated and verifiable clinical hypothesis testing from electronic health recordsSemantic proximity Read

Claim-Level Transparency Analysis of LLM-Generated Diagnostic Reports: A Metabolic and Endocrine Biomarker StudySemantic proximity Read

From Plausible Narrative to Sound Abduction: A Governed Abductive Architecture for Medical Digital Twins in Multiple Sclerosis CareSemantic proximity Read

A Neuro-Symbolic Knowledge Graph and Large Language Model Hybrid Architecture for Multi-Modality Mental Health CounselingSemantic proximity Read

Emergent Misinformation Genesis in Multi-Agent LLM Clinical PipelinesSemantic proximity Read

Multi-Disease AI Diagnosis System Using Minimal Code and LLM-Powered ExplanationsSemantic proximity Read