Cover Image

Think Locally, Explain Globally: Graph-Guided LLM Investigations via Local Reasoning and Belief Propagation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jha, Saurabh, Arora, Rohan, Bhavya, Zheutlin, Noah, Isaza, Paulina Toro, Shwartz, Laura, Deng, Yu, Sow, Daby, Mahindru, Ruchi, Puri, Ruchir
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence Machine Learning Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Context Engineering Framework for Improving Enterprise AI Agents based on Digital-Twin MDP
by: Yang, Xi, et al.
Published: (2026)

STRATUS: A Multi-agent System for Autonomous Reliability Engineering of Modern Clouds
by: Chen, Yinfang, et al.
Published: (2025)

Retrieval Augmented Generation-Based Incident Resolution Recommendation System for IT Support
by: Isaza, Paulina Toro, et al.
Published: (2024)

Consistent Update Synthesis via Privatized Beliefs
by: Schlögl, Thomas, et al.
Published: (2024)

Local structure of idempotent algebras I
by: Bulatov, Andrei A.
Published: (2020)

Dynamic Logic of Trust-Based Beliefs
by: Jiang, Junli, et al.
Published: (2025)

Locales as spaces in outer models
by: Bannister, Nathaniel
Published: (2024)

Tolerance and the Bounds
by: Rohan French
Published: (2021)

Hanf Locality and Invariant Elementary Definability
by: Lindell, Steven, et al.
Published: (2025)

Uniform Local Tabularity in Intuitionistic Logic
by: Almeida, Rodrigo Nicolau
Published: (2026)

Belief in Simplicial Complexes
by: Sink, Philip, et al.
Published: (2025)

Simplicial Belief
by: Cachin, Christian, et al.
Published: (2026)

Uniform Local Weak o‐Minimality and ∗$*$‐Local Weak o‐Minimality
by: Masato Fujita
Published: (2025)

Locality in Residuated-Lattice Structures
by: Carr, James
Published: (2025)

Local Tabularity is Decidable for Bi-Intermediate Logics of Trees and of Co-Trees
by: Martins, Miguel, et al.
Published: (2024)

Logics of False Belief and Radical Ignorance
by: Fan, Jie
Published: (2024)

Localic Relations with Open Cones
by: van der Schaaf, Nesta
Published: (2026)

Locality Theorems in Semiring Semantics
by: Bizière, Clotilde, et al.
Published: (2023)

Local Intuitionistic Modal Logics and Their Calculi
by: Balbiani, Philippe, et al.
Published: (2024)

Local-Order-Invariant Logic on Classes of Bounded Degree
by: Aoki, Derek
Published: (2025)

On the Satisfiability of Local First-Order Logics with Data
by: Bollig, Benedikt, et al.
Published: (2023)

Local and global $d$-rigidity are not definable in the first order logic of graphs
by: Bernstein, Daniel Irving, et al.
Published: (2025)

Hierarchies of Beliefs and Measurable Uniformizations
by: Zoble, Stuart
Published: (2025)

Local structure of idempotent algebras II
by: Bulatov, Andrei A.
Published: (2020)

Locally o-minimal open core
by: Fujita, Masato
Published: (2021)

Graded Distributed Belief
by: Lorini, Emiliano, et al.
Published: (2025)

From Coalgebraic Determinization to Belief Construction for Partial Observability
by: Kori, Mayuko, et al.
Published: (2026)

Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons
by: Bassan, Shahaf, et al.
Published: (2025)

Localized Attractor Computations for Infinite-State Games (Full Version)
by: Schmuck, Anne-Kathrin, et al.
Published: (2024)

Ordered Completion for Non-Locally Tight mini-gringo Programs
by: Heuer, Jan
Published: (2025)

Reply to Some Questions of Quotients when ultrafilters divide ultrafilters
by: Singha, Manoranjan, et al.
Published: (2026)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
by: Lyon, Tim S., et al.
Published: (2024)

Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas
by: Vehlken, Fabian, et al.
Published: (2026)

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search
by: Lipparini, Enrico, et al.
Published: (2025)

Borel Local Lemma: arbitrary random variables and limited exponential growth
by: Bernshteyn, Anton, et al.
Published: (2024)

Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic
by: Di Guardia, Rémi, et al.
Published: (2026)

The Power of Regular Constraint Propagation (Technical Report)
by: Hague, Matthew, et al.
Published: (2025)

Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change (Extended Version)
by: Andrews, Uri, et al.
Published: (2025)

RLSF: Fine-tuning LLMs via Symbolic Feedback
by: Jha, Piyush, et al.
Published: (2024)

Locally approximating groups of homeomorphisms of manifolds
by: Koberda, Thomas, et al.
Published: (2024)