paper-with-me

Papers

Toward Auditable Neuro-Symbolic Reasoning in Pathology: SQL as an Explicit Trace of Evidence

2026-01-05 · Kewen Cao, Jianxu Chen, Yongbing Zhang, Ye Zhang, Hongxiao Wang arxiv

Automated pathology image analysis is central to clinical diagnosis, but clinicians still ask which slide features drive a model's decision and why. Vision-language models can produce natural language explanations, but these are often correlational and lack verifiable evidence. In this paper, we introduce an SQL-centered agentic framework that enables both feature measurement and reasoning to be auditable. Specifically, after extracting human-interpretable cellular features, Feature Reasoning Agents compose and execute SQL queries over feature tables to aggregate visual evidence into quantitative findings. A Knowledge Comparison Agent then evaluates these findings against established pathological knowledge, mirroring how pathologists justify diagnoses from measurable observations. Extensive experiments evaluated on two pathology visual question answering datasets demonstrate our method improves interpretability and decision traceability while producing executable SQL traces that link cellular measurements to diagnostic conclusions.

📄 PDF Abstract BibTeX arXiv:2601.01875

Code (0)

등록된 구현이 없습니다.

Tasks

Visual Question Answering

Similar Papers 제목 키워드 기반

Forethought: Verifiable Reasoning from Neurosymbolic Primitive Programming

2026-07-05 · Vishvesh Bhat, Jay Vaghasiya, Emmanuel Anaya Gonzalez arxiv

Current agentic workflows usually involve decomposing user requests into sequences of tool calls with correctly resolved parameters, the results of which are processed through reasoning traces in the language model's con…

Reinforcement Learning

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification

2026-06-18 · Baiyang Qu, Leonardo Ranaldi, Xi Wang, Marco Valentino arxiv

Large Language Models (LLMs) offer a promising path to automate Clinical Trial Matching (CTM), but still struggle with the deterministic verification required for complex eligibility criteria. Conversely, purely symbolic…

From Large Language Model Predicates to Logic Tensor Networks: Neurosymbolic Offer Validation in Regulated Procurement

2026-04-07 · Cedric Haufe, Frieder Stolzenburg arxiv

We present a neurosymbolic approach, i.e. combine symbolic and subsymbolic artificial intelligence, to validating offer documents in regulated public institutions. We employ a language model to extract information and th…

Delta1 with LLM: symbolic and neural integration for credible and explainable reasoning

2026-03-13 · Yang Xu, Jun Liu, Shuwei Chen, Chris Nugent 외 arxiv

Neuro-symbolic reasoning increasingly demands frameworks that unite the formal rigor of logic with the interpretability of large language models (LLMs). We introduce an end to end explainability by construction pipeline …

Accurate Legal Reasoning at Scale: Neuro-Symbolic Offloading and Structural Auditability for Robust Legal Adjudication

2026-05-04 · Stanisław Sójka, Witold Kowalczyk arxiv

Legal texts often contain computational legal clauses--provisions whose understanding requires complex logic. While frontier Large Reasoning Models (LRMs) can describe such clauses, building production-ready systems is l…

Legal Reasoning