Tootfinder

This https://arxiv.org/abs/2506.02867 has been replaced.
link: https://scholar.google.com/scholar?q=a

Demystifying Reasoning Dynamics with Mutual Information: Thinking Tokens are Information Peaks in LLM Reasoning
Large reasoning models (LRMs) have demonstrated impressive capabilities in complex problem-solving, yet their internal reasoning mechanisms remain poorly understood. In this paper, we investigate the reasoning trajectories of LRMs from an information-theoretic perspective. By tracking how mutual information (MI) between intermediate representations and the correct answer evolves during LRM reasoning, we observe an interesting MI peaks phenomenon: the MI at specific generative steps exhibits a s…

This https://arxiv.org/abs/2311.15919 has been replaced.
link: https://scholar.google.com/scholar?q=a

What Monads Can and Cannot Do with a Few Extra Pages
The delay monad provides a way to introduce general recursion in type theory. To write programs that use a wide range of computational effects directly in type theory, we need to combine the delay monad with the monads of these effects. Here we present a first systematic study of such combinations. We study both the coinductive delay monad and its guarded recursive cousin, giving concrete examples of combining these with well-known computational effects. We also provide general theorems stati…

This https://arxiv.org/abs/2201.03074 has been replaced.
link: https://scholar.google.com/scholar?q=a

A Survey of Passive Sensing for Workplace Wellbeing and Productivity
The modern workplace is undergoing a radical transformation, driven by technological advances that blur the boundaries between human capability and digital augmentation. At the forefront of this evolution is passive sensing technology - a suite of tools that quietly monitor and interpret human behavior without active user engagement. This paper examines how these technologies are reshaping our understanding of workplace dynamics, with a particular focus on employee wellbeing and productivity. T…

This https://arxiv.org/abs/2203.15681 has been replaced.
link: https://scholar.google.com/scholar?q=a

Arbitrarily small spectral gaps for random hyperbolic surfaces with many cusps
Let $\mathcal{M}_{g,n(g)}$ be the moduli space of hyperbolic surfaces of genus $g$ with $n(g)$ punctures endowed with the Weil-Petersson metric. In this paper we study the asymptotic behavior of the Cheeger constants and spectral gaps of random hyperbolic surfaces in $\mathcal{M}_{g,n(g)}$, when $n(g)$ grows slower than $g$ as $g\to \infty$.

This https://arxiv.org/abs/2205.10143 has been replaced.
link: https://scholar.google.com/scholar?q=a

On the classification of non-big Ulrich vector bundles on fourfolds
We give an almost complete classification of non-big Ulrich vector bundles on fourfolds. This allows to classify them in the case of Picard rank one fourfolds, of Mukai fourfolds and in the case of Del Pezzo $n$-folds for $n \le 4$. We also classify Ulrich bundles with non-big determinant on Del Pezzo and Mukai $n$-folds, $n \ge 2$.

This https://arxiv.org/abs/2506.00605 has been replaced.
link: https://scholar.google.com/scholar?q=a

ABCDEFGH: An Adaptation-Based Convolutional Neural Network-CycleGAN Disease-Courses Evolution Framework Using Generative Models in Health Education
With the advancement of modern medicine and the development of technologies such as MRI, CT, and cellular analysis, it has become increasingly critical for clinicians to accurately interpret various diagnostic images. However, modern medical education often faces challenges due to limited access to high-quality teaching materials, stemming from privacy concerns and a shortage of educational resources (Balogh et al., 2015). In this context, image data generated by machine learning models, partic…

This https://arxiv.org/abs/2308.03734 has been replaced.
link: https://scholar.google.com/scholar?q=a

Labeling without Seeing? Blind Annotation for Privacy-Preserving Entity Resolution
The entity resolution problem requires finding pairs across datasets that belong to different owners but refer to the same entity in the real world. To train and evaluate solutions (either rule-based or machine-learning-based) to the entity resolution problem, generating a ground truth dataset with entity pairs or clusters is needed. However, such a data annotation process involves humans as domain oracles to review the plaintext data for all candidate record pairs from different parties, which…

This https://arxiv.org/abs/2208.11392 has been replaced.
link: https://scholar.google.com/scholar?q=a

Data-driven stabilization of switched and constrained linear systems
We consider the design of state feedback control laws for both the switching signal and the continuous input of an unknown switched linear system, given past noisy input-state trajectories measurements. Based on Lyapunov-Metzler inequalities, we derive data-dependent bilinear programs whose solution directly returns a provably stabilizing controller and ensures $\mathcal{H}_2$ or $\mathcal{H}_{\infty}$ performance. We further present relaxations that considerably reduce the computational cost, …

This https://arxiv.org/abs/2506.02576 has been replaced.
link: https://scholar.google.com/scholar?q=a

ADFormer: Aggregation Differential Transformer for Passenger Demand Forecasting
Passenger demand forecasting helps optimize vehicle scheduling, thereby improving urban efficiency. Recently, attention-based methods have been used to adequately capture the dynamic nature of spatio-temporal data. However, existing methods that rely on heuristic masking strategies cannot fully adapt to the complex spatio-temporal correlations, hindering the model from focusing on the right context. These works also overlook the high-level correlations that exist in the real world. Effectively …

This https://arxiv.org/abs/2506.02139 has been replaced.
link: https://scholar.google.com/scholar?q=a

The Unified Cognitive Consciousness Theory for Language Models: Anchoring Semantics, Thresholds of Activation, and Emergent Reasoning
Few-shot learning in large language models (LLMs) reveals a core paradox: certain tasks generalize from just a few examples, while others demand extensive supervision. To explain this, we introduce the Unified Cognitive Consciousness Theory (UCCT), which reconceptualizes LLMs not as deficient agents, but as unconscious substrates: dense, distributed repositories of linguistic and conceptual patterns that operate without explicit semantics, intention, or goal-directed reasoning. Under this view,…