output
20032026
most citedEvaluating Robustness to Dataset Shift via Parametric Robustness Sets

5 citations

17 papers

cs.CY2026

How Hyper-Datafication Impacts the Sustainability Costs in Frontier AI

Sophia N. Wilson, Sebastian Mair, Mophat Okinyi +3

Large-scale data has fuelled the success of frontier artificial intelligence (AI) models over the past decade. This expansion has relied on sustained efforts by large technology co…

cs.CL2025★ 1 cited

The meaning of prompts and the prompts of meaning: Semiotic reflections and modelling

Martin Thellefsen, Amalia Nurma Dewi, Bent Sorensen

This paper explores prompts and prompting in large language models (LLMs) as dynamic semiotic phenomena, drawing on Peirce's triadic model of signs, his nine sign types, and the Dy…

math.DG2025★ 1 cited

Characterization of geodesic completeness for landmark space

Karen Habermann, Stephen C. Preston, Stefan Sommer

We provide a full characterization of geodesic completeness for spaces of configurations of landmarks with smooth Riemannian metrics that satisfy a rotational and translation invar…

math.CO2025★ 4 cited

On the clique covering numbers of Johnson graphs

Søren Fuglede Jørgensen

We initiate a study of the vertex clique covering numbers of Johnson graphs , the smallest numbers of cliques necessary to cover the vertices of those graphs. We prove ide…

cs.CL2025

CMCTS: A Constrained Monte Carlo Tree Search Framework for Mathematical Reasoning in Large Language Model

Qingwen Lin, Boyan Xu, Guimin Hu +4

This paper introduces the Constrained Monte Carlo Tree Search (CMCTS) framework to enhance the mathematical reasoning capabilities of Large Language Models (LLM). By incorporating…

gr-qc2024

A Penrose-type inequality for static spacetimes

Brian Harvie

We establish a lower bound on the total mass of the time slices of (n + 1)-dimensional asymptotically flat standard static spacetimes under the timelike convergence condition. The…