SearcharxivSearch

arXiv subjects

Minkyoung Song

Publications and source records attributed to Minkyoung Song.

5 recordsLinked to original sources

Quantifying Aleatoric Uncertainty of In-Context Learning for Robust Measure of LLM Prediction Confidence

In-Context Learning (ICL) allows LLMs to adapt to new tasks from a few demonstrations, but its reliability remains a concern: predictions are highly sensitive to both prompt design and the model's ability to understand the context, obscuring whether failures arise from data properties or model limitations. Uncertainty decomposition-separating aleatoric from epistemic sources-is particularly crucial in this setting, yet existing methods, designed for standard generation tasks, fail to capture the unique dynamics of ICL. To address this, we introduce a concept of self-function vectors, built upon Bayesian views and the mechanistic interpretability of ICL. These vectors leverage internal model representations to model the latent concept learned during in-context prompting, thereby enabling a direct estimation of aleatoric uncertainty within a Bayesian framework and circumventing the reliance on brittle input or decoding manipulations. Given the lack of established benchmarks and suitable evaluation protocols, we also propose the first and rigorous evaluation protocol, in which data is manipulated in controlled ways so as to quantify aleatoric uncertainty precisely and separately from epistemic uncertainty. With this new evaluation framework, initially grounded in synthetic tasks for conceptual development and subsequently extended to real-world datasets, we show that our proposed methodology can measure uncertainty of LLM predictions made under ICL more reliably than existing alternative methods. Moreover, we show it can be used as a practical tool for trustworthy-related applications, such as hallucination detection. Our findings pave a new direction for connecting the quantitative view of uncertainty with the mechanistic understanding of model behavior.

cs.CL

Non-slice 3-stranded pretzel knots

Greene-Jabuka and Lecuona confirmed the slice-ribbon conjecture for 3-stranded pretzel knots except for an infinite family $P(a,-a-2,-\frac{(a+1)^2}{2})$ where $a$ is an odd integer greater than $1$. Lecuona and Miller showed that $P(a,-a-2,-\frac{(a+1)^2}{2})$ are not slice unless $a\equiv 1, 11, 37, 47, 59 \pmod{60}$. In this note, we show that four-fifths of the remaining knots in the family are not slice.

math.GT

Homology cobordism group of homology cylinders and invariants related to lower central series

The homology cobordism group of homology cylinders is a generalization of both the mapping class group of surfaces and the string link concordance group. We consider extensions of Johnson homomorphisms of a mapping class group, Milnor invariants and Orr invariants of links to homology cylinders, all of which are related to free nilpotent groups. We establish a combined filtration via kernels of extended Johnson homomorphisms and extended Milnor invariants. We determine its image under the three invariants, and investigate relations among the invariants, and relations of the filtration to automorphism groups of free nilpotent groups and to graded free Lie algebras. We obtain the number of linearly independent invariants by examining the successive quotients of the filtration.

math.GT

Lower central subgroups of a free group and its subgroup

For a given free group $F$ of arbitrary rank (possibly infinite), and its subgroup $G$, we address the question whether a lower central subgroup of $G$ can contain a lower central subgroup of $F$. We show that the answer is no if $G$ does not normally generate $F$. The question comes from a study of Hirzebruch-type invariants from iterated $p$-covers for 3-dimensional homology cylinders.

math.GT

Invariants and structures of the homology cobordism group of homology cylinders

The homology cobordism group of homology cylinders is a generalization of the mapping class group and the string link concordance group. We study this group and its filtrations by subgroups by developing new homomorphisms. First, we define extended Milnor invariants by combining the ideas of Milnor's link invariants and Johnson homomorphisms. They give rise to a descending filtration of the homology cobordism group of homology cylinders. We show that each successive quotient of the filtration is free abelian of finite rank. Second, we define Hirzebruch-type intersection form defect invariants obtained from iterated p-covers for homology cylinders. Using them, we show that the abelianization of the intersection of our filtration is of infinite rank. Also we investigate further structures in the homology cobordism group of homology cylinders which previously known invariants do not detect.

math.GT