arXiv subjects

Daehong Kim

Publications and source records attributed to Daehong Kim.

5 recordsLinked to original sources

arXiv2026

LEDGER: Claim-to-Evidence Trace Graphs for Auditing LLM Agents

Large language model (LLM) agents can now carry out long-horizon technical workflows involving complex tool use, code execution, file edits, and generated artifacts. As agents do more work faster, the productivity bottleneck shifts from producing outputs to auditing whether those outputs are correct and trustworthy. Agent observability systems make fine-grained execution events visible, but visibility alone still leaves reviewers to reconstruct which actions, artifacts, and validation steps matter for a particular conclusion. We introduce LEDGER - Layered Evidence and Decision Graphs for Execution Review, a tracing and review system that builds layered trace graphs over observed agent sessions. LEDGER preserves Trace Records while grouping them into Evidence Nodes and Workflow Nodes, representing artifacts as evidence anchors, and adding typed semantic edges that connect claims to supporting actions, artifacts, and checks. Through data-analysis and coding examples, we show how the resulting traces expose workflow decisions, artifact lineage, repair steps, validation coverage, and claim-support paths for evidence-centered audit.

cs.HC↗

arXiv2024

Quasi-ergodic theorems for Feynman-Kac semigroups and large deviation for additive functionals

We study the long-time behavior of an additive functional that takes into account the jumps of a symmetric Markov process. This process is assumed to be observed through a biased observation scheme that includes the survival to events of extinction and the Feynman-Kac weight by another similar additive functional. Under conditioning for the convergence to a quasi-stationary distribution and for two-sided estimates of the Feynmac-Kac semigroup to be obtained, we shall discuss general assumptions on the symmetric Markov process. For the law of additive functionals, we will prove a quasi-ergodic theorem, namely a conditional version of the ergodic theorem and a conditional functional weak law of large numbers. As an application, we also establish a large deviation principle for the mean ratio of additive functionals.

math.PR↗

arXiv2022

Stability of estimates for fundamental solutions under Feynman-Kac perturbations for symmetric Markov processes

In this paper, when a given symmetric Markov process X satisfies the stability of global heat kernel two-sided (upper) estimates by Markov perturbations, we give a necessary and sufficient condition on the stability of global two-sided (upper) estimates for fundamental solution of Feynman-Kac semigroup of X. As a corollary, under the same assumptions, a weak type global two-sided (upper) estimates holds for the fundamental solution of Feynman-Kac semigroup with (extended) Kato class conditions for measures. This generalizes all known results on the stability of global integral kernel estimates by symmetric Feynman-Kac perturbations with Kato class conditions in the framework of symmetric Markov processes.

math.PR↗

arXiv2021

Recurrence of direct products of diffusion processes in random media having zero potentials

In this paper, we introduce an index which measures the strength of recurrence of symmetric Markov processes, and give some sufficient conditions for recurrence of direct products of symmetric diffusion processes. The index is given by the Dirichlet forms of the Markov processes. Moreover, as an application, we prove the recurrence of some multi-dimensional diffusion processes in random environments including zero potentials.

math.PR↗

arXiv2019

On a scattering length for additive functionals and spectrum of fractional Laplacians with non-local perturbations

In this paper we study the scattering length for positive additive functionals of symmetric stable processes on ${\bf R}^d$. The additive functionals considered here are not necessarily continuous. We prove that the semi-classical limit of the scattering length equals the capacity of the support of a certain measure potential, thus extend previous results for the case of positive continuous additive functionals. We also give an equivalent criterion for the fractional Laplacian with a measure valued non-local operator as a perturbation to have purely discrete spectrum in terms of the scattering length, by considering the connection between scattering length and the bottom of the spectrum of Schrödinger operator in our settings.

math.PR↗