3 papers
cs.AI2026
Beyond Semantic Equivalence: Logical Graphs for LLM Uncertainty Quantification
Yanni Dong, Minghua Liu, Meiling Zhu +3
Large Language Models often produce confidently stated yet unreliable outputs, posing critical challenges for deployment in safety-sensitive applications. Existing uncertainty metr…
cs.SE2026
Ensemble-Based Uncertainty Estimation for Code Correctness Estimation
Yunxiang Wei, Tianlin Li, Yuwei Zheng +6
Large language models (LLMs) have demonstrated remarkable capabilities in generating programs from natural language descriptions, yet ensuring their correctness without an external…
math.CO2026
On the maximum product of distances of diameter point sets
Stijn Cambie, Arne Decadt, Yanni Dong +2
We consider a problem posed by ErdÅs, Herzog and Piranian on the maximum product of distances of a point set of order with a given diameter. We prove that it is sufficient to…