arXiv subjects

Yuxin Dong

Publications and source records attributed to Yuxin Dong.

At least 19 recordsLinked to original sources

arXiv2026

EventSpec: Defining and Detecting Event-Semantic Issues in Blockchain Ecosystems

In recent years, smart contracts have become the backbone of decentralized applications (DApps), and off-chain systems such as bridges, wallets, and indexers rely heavily on event logs to track contract execution and state changes. However, the Ethereum Virtual Machine (EVM) does not validate or enforce event semantics, so logs can diverge from on-chain state, misleading off-chain systems into accepting incorrect state transitions. Existing smart contract vulnerability detection tools focus on logic bugs, with limited support for detecting event-semantic defects. To address this gap, we collect audit reports and incident cases and apply open card sorting to define five classes of event-semantic defects: event collision, state-event mismatch, unauthorized event emission, event emission mismatch, and event parameter mismatch. We propose EventSpec, which infers event specifications from a contract corpus via behavior inference and semantic-constraint extraction and applies differential checking to identify event-semantic defects in target contracts. We run EventSpec on 6,617 real-world contracts and evaluate detection effectiveness based on manually labeled results; EventSpec achieves an overall comprehensive precision of 90.17%. We further provide an off-chain evaluation harness that reproduces two off-chain attack vectors on any EVM-compatible chain: event origin confusion caused by unintended emitters and event-state desynchronization where events lack matching state updates. Using this harness, we demonstrate the feasibility of these attacks on bridge relayers, blockchain explorers, and NFT marketplaces, and report six wallet issues, four of which were confirmed (including a $600 bounty), with two remaining pending.

cs.CR↗

arXiv2026

Kimi K3: Open Frontier Intelligence

We introduce Kimi K3, a 2.8T parameter Mixture-of-Experts model with 104 billion activated parameters, native vision capabilities, and a 1-million-token context window. Kimi K3 is built on Kimi Delta Attention and Attention Residuals, which improve information flow across sequence length and model depth. Together with Stable LatentMoE, which effectively activates 16 of 896 routed experts per token, and refined training and data recipes, these advances yield an approximately 2.5x improvement in overall scaling efficiency over Kimi K2. Post-training highlights reinforcement learning across general, agentic, and coding domains and multiple reasoning-effort levels, enabling compositional generalization and robust long-horizon execution. At 2.8T scale, Kimi K3 is supported by infrastructure advances in multiple areas: algorithm-system co-design for KDA, perfectly balanced expert-parallel training with efficient memory management, million-token agentic RL with persistent rollout and sandbox states, and deployment innovations. Extensive evaluations show that Kimi K3 achieves frontier-level performance across long-horizon coding, agentic, knowledge, reasoning, and vision tasks. While its overall performance still trails the most powerful proprietary models, namely Claude Fable 5 and GPT-5.6 Sol, Kimi K3 consistently outperforms other open and proprietary models evaluated in our suite. We release the full Kimi K3 model weights to facilitate future research and accelerate the broader deployment and adoption of frontier intelligence.

cs.CL↗

arXiv2026

Unveiling the Local Environment of FRB 20220912A: Sub-arcsecond $4-26$ GHz Radio Continuum Mapping

The local environments of repeating fast radio bursts (FRBs) provide critical clues to their progenitors. While some active repeaters (e.g., FRB~20121102A, FRB~20190520B) are embedded in compact persistent radio sources (PRS), others appear to reside in cleaner environments. We present a high-resolution, multi-frequency (4$-$26 GHz) continuum study of the hyperactive repeater FRB 20220912A using the Karl G. Jansky Very Large Array (VLA). We report the discovery of a previously unknown radio source distinct from the compact PRSs seen in other FRBs, spatially coincident with the FRB position and offset by $\approx 300$~mas ($\approx 450$~pc) from the host galaxy's center. The absence of continuum emission in archival milliarcsecond-resolution VLBI observations indicates that the source is resolved out, ruling out a hyper-compact ($< 1$~pc) central-engine-powered origin. We constrain the physical diameter of the emitting region between 75~pc and 190~pc. We further demonstrate that the source is characterized by a steep non-thermal spectral index ($\alpha \approx -0.73$) and a remarkably high star-formation rate surface density $\Sigma_{\text{SFR}} \gtrsim 13~M_{\odot}~\text{yr}^{-1}~\text{kpc}^{-2}$. We argue that this emission is best explained as a compact star-forming region within the host galaxy. This association with a site of ongoing star formation provides strong observational support for the hypothesis that young magnetars, formed after the deaths of massive stars, are the progenitors of at least some repeating FRBs.

astro-ph.HE↗

arXiv2026

Spectral Bernstein theorems for submanifolds in Euclidean spaces

In this paper, we consider the essential spectrum of submanifolds in Euclidean spaces under various geometric hypotheses. Our results involve extrinsic conditions such as finite total mean curvature, the convergence of the gradient of the extrinsic distance, and the extrinsic volume growth or the pinching curvature. In particular, we prove that the essential spectrum of a complete non-compact submanifold $M^n$ in a Euclidean space is $[0, +\infty)$ provided the second fundamental form $A$ of $M^n$ satisfies $\|A\|_{L^p} < \infty$, $p>n$.

math.DG↗

arXiv2026

Thinking in Scales: Accelerating Gigapixel Pathology Image Analysis via Adaptive Continuous Reasoning

Traditional whole slide image (WSI) analysis methods typically rely on the multiple instance learning (MIL) paradigm, which extracts patch-level features at high magnification and aggregates them for slide-level prediction. However, such exhaustive patch-level processing is computationally expensive, severely limiting the efficiency and scalability of WSI analysis. To address this challenge, we propose PathCTM (a Pathology-oriented Continuous Thought Model) that enables token-efficient scale-space continuous reasoning for gigapixel WSIs. PathCTM formulates diagnostic inference as a dynamic sequential information pursuit. It progressively transitions from low-magnification global to high-magnification local inspection, and adaptively terminates inference when sufficient evidence is gathered to effectively bound decision uncertainty. Specifically, it uses conditional computation for dynamic scale switching with attention-guided region pruning, coupled with confidence-aware early stopping. Extensive experiments demonstrate that, compared with standard MIL-based methods, PathCTM reduces the number of required image patches by 95.95% and shortens inference time by approximately 95.62%, while maintaining AUC without degradation. Code is available at https://github.com/JSGe-AI/PathCTM.

cs.CV↗

arXiv2026

HierBias: Context-Conditioned Hierarchical Media Bias Detection with Multi-Task Type Classification

Media bias detection is a critical task for ensuring fair and balanced information dissemination, yet existing sentence-level approaches classify each sentence independently, ignoring inter-sentence contextual signals that human annotators naturally exploit. We present \textbf{HierBias}, a hierarchical context-conditioned media bias detector that formally models document context in bias prediction. We introduce the \emph{context-conditioned bias probability} and prove theoretically that leveraging document context strictly reduces the Bayes error of sentence-level classification when inter-sentence mutual information is non-zero. A multi-task generalization bound further establishes that jointly training binary bias detection and fine-grained bias type classification improves sample efficiency on small annotated corpora. Architecturally, HierBias pairs a sentence-level RoBERTa encoder with a cross-sentence Transformer aggregator and dual output heads for binary detection and four-class type classification. Evaluated on BABE and BASIL, HierBias achieves 0.853 F1 and 0.723 MCC, surpassing the state-of-the-art bias-detector by $+2.6\%$ F1 and $+4.3\%$ MCC (McNemar's test, $p < 0.05$). Ablation experiments confirm that each theoretical component contributes independently and consistently.

cs.CL↗

arXiv2026

The Environments of Luminous Fast Blue Optical Transients: Evidence for a Compact Object and Wolf-Rayet Star Merger Origin

We present a comprehensive analysis of the host galaxies of 11 luminous fast blue optical transients (LFBOTs). We model new and archival host photometry and spectroscopy with Prospector. We determine that all LFBOT hosts are actively star-forming with recent bursts of star formation and have a median stellar mass of $\log(M_*/M_\odot)=9.61^{+0.74}_{-1.61}$, present-day star formation rate SFR=$0.99^{+14.85}_{-0.95}$~$M_\odot$~yr$^{-1}$, and gas-phase oxygen abundance metallicity 12+log(O/H)=$8.59^{+0.18}_{-0.22}$. To contextualize these results, we compare them to the host properties of Hydrogen-poor superluminous supernovae (SLSNe-I), several core-collapse supernova subtypes (CCSN; SNe Ibc, II, and Ibn) and long gamma-ray bursts (LGRBs). We find that LFBOT hosts are more star-forming than CCSN hosts, but less star-forming than SLSN-I hosts. We further show that LFBOT hosts are more metal-poor than SN Ibc and II hosts, but more metal-rich than SLSN-I and LGRB hosts. Finally, we find that, similar to SLSNe-I and unlike CCSNe and LGRBs, a large fraction of LFBOTs occur in their hosts' faintest pixel or outside their host galaxy's light. Our results indicate that LFBOTs have a massive stellar origin that do not trace active star-forming regions within their hosts and have a weaker metallicity-dependence than other extreme transients. For these reasons, we favor a compact-object and Wolf-Rayet star merger progenitor scenario over other previously proposed models, such as tidal disruption events and failed or successful CCSN. Future discoveries of LFBOTs with the Rubin observatory will help to increase their sample size and place firmer constraints on their environments and progenitors.

astro-ph.HE↗

arXiv2026

From Token Generation to Item Ranking: Direct Generative Recommendation with Semantic IDs

Generative recommendation formulates item recommendation as a token-level generation task, where Semantic IDs (SIDs) represents each item as a sequence of discrete tokens. However, recommendation ultimately requires item-level rankings, whereas SID-based methods derive them by decoding token-level outputs. We term these outputs the token interface; together, the interface and decoder form a token-mediated pipeline. We establish a theoretical dichotomy: if the interface is ranking-insufficient, no decoder based solely on it can guarantee exact ranking recovery; if it is ranking-sufficient, exact decoding is output-equivalent to item-level scoring. Thus, for item ranking, token-level generation either loses essential ranking information or provides no additional ranking expressiveness beyond direct item-level scoring. Based on this insight, we propose \textbf{Di}rect \textbf{G}enerative \textbf{R}ecommendation (\model), a framework that directly models item-level preferences while preserving the semantic structure of SID. Instead of treating SID tokens as generation targets, \model uses them as item representations and learns user-item matching through a unified item-level scoring function. Extensive experiments on multiple real-world datasets with LLM backbones of different scales demonstrate that \model consistently outperforms existing generative recommenders as well as ID-based methods.

cs.IR↗

arXiv2026

Kimi K2.5: Visual Agentic Intelligence

We introduce Kimi K2.5, an open-source multimodal agentic model designed to advance general agentic intelligence. K2.5 emphasizes the joint optimization of text and vision so that two modalities enhance each other. This includes a series of techniques such as joint text-vision pre-training, zero-vision SFT, and joint text-vision reinforcement learning. Building on this multimodal foundation, K2.5 introduces Agent Swarm, a self-directed parallel agent orchestration framework that dynamically decomposes complex tasks into heterogeneous sub-problems and executes them concurrently. Extensive evaluations show that Kimi K2.5 achieves state-of-the-art results across various domains including coding, vision, reasoning, and agentic tasks. Agent Swarm also reduces latency by up to $4.5\times$ over single-agent baselines. We release the post-trained Kimi K2.5 model checkpoint to facilitate future research and real-world applications of agentic intelligence.

cs.CL↗

arXiv2025

Gradient estimates for $(p,V)$-harmonic functions on Riemannian manifolds

In this paper, we study $(p,V)$-harmonic functions on complete Riemannian manifolds using the Moser iteration method. A volume comparison theorem and a Sobolev embedding theorem are established under the Bakry-$\acute{E}$mery curvature condition. Moreover, we obtain an explicit global gradient estimate for positive entire $(p,V)$-harmonic functions.

math.DG↗

arXiv2025

Latent Thinking Optimization: Your Latent Reasoning Language Model Secretly Encodes Reward Signals in Its Latent Thoughts

Large Language Models (LLMs) excel at problem solving by generating chain of thoughts in natural language, but such verbal thinking is computationally costly and prone to overthinking. A recent work instead proposes a latent thinking architecture, Huginn-3.5B, which represents intermediate reasoning steps as a sequence of latent representations. However, latent thoughts lack interpretability and are difficult to supervise, raising concerns about the correctness and reliability of the model's latent thinking processes. In this paper, we provide a systematic study of how Huginn-3.5B thinks in the latent space and how external supervision signals can improve its latent thinking processes. We show that latent thoughts leading to correct versus incorrect answers exhibit highly distinguishable patterns, and that a latent classifier can reliably predict answer correctness directly from latent thoughts. Leveraging these insights, we propose Latent Thinking Optimization (LTO), a probabilistic algorithm that employs the latent classifier as a Latent Reward Model (LRM) to optimize the latent thinking processes. Extensive experiments across diverse reasoning tasks demonstrate that LRM is highly effective in detecting incorrect latent thinking patterns, and LTO can significantly improve the latent thinking processes. Furthermore, we show that LRM can generalize across diverse domains, and LTO can be seamlessly applied to general LLMs to improve their thinking processes. In contrast to verbal thinking, our method demonstrates that reward modeling and scaling test-time thinking with supervision can be performed directly in the latent space, highlighting its potential as a general, efficient, and domain-agnostic approach to improving the thinking processes of LLMs.

cs.CL↗

arXiv2025

FRB 20250316A: A Brilliant and Nearby One-Off Fast Radio Burst Localized to 13 parsec Precision

Precise localizations of a small number of repeating fast radio bursts (FRBs) using very long baseline interferometry (VLBI) have enabled multiwavelength follow-up observations revealing diverse local environments. However, the 2--3\% of FRB sources that are observed to repeat may not be representative of the full population. Here we use the VLBI capabilities of the full CHIME Outriggers array for the first time to localize a nearby (40 Mpc), bright (kJy), and apparently one-off FRB source, FRB 20250316A, to its environment on 13-pc scales. We use optical and radio observations to place deep constraints on associated transient emission and the properties of its local environment. We place a $5\sigma$ upper limit of $L_{\mathrm{9.9~\mathrm{GHz}}} < 2.1\times10^{25}~\mathrm{erg~s^{-1}~Hz^{-1}}$ on spatially coincident radio emission, a factor of 100 lower than any known compact persistent radio source associated with an FRB. Our KCWI observations allow us to characterize the gas density, metallicity, nature of gas ionization, dust extinction and star-formation rate through emission line fluxes. We leverage the exceptional brightness and proximity of this source to place deep constraints on the repetition of FRB 20250316A, and find it is inconsistent with all well-studied repeaters given the non-detection of bursts at lower spectral energies. We explore the implications of a measured offset of 190$\pm20$ pc from the center of the nearest star-formation region, in the context of progenitor channels. FRB 20250316A marks the beginning of an era of routine localizations for one-off FRBs on tens of mas-scales, enabling large-scale studies of their local environments.

astro-ph.HE↗

arXiv2025

James Webb Space Telescope Observations of the Nearby and Precisely-Localized FRB 20250316A: A Potential Near-IR Counterpart and Implications for the Progenitors of Fast Radio Bursts

We present deep James Webb Space Telescope near-infrared imaging to search for a quiescent or transient counterpart to FRB 20250316A, which was precisely localized with the CHIME/FRB Outriggers array to an area of $11\times13$ pc in the outer regions of NGC 4141 at $d\approx40$ Mpc. Our F150W2 image reveals a faint source near the center of the FRB localization region ("NIR-1"; $M_{\rm F150W2}\approx-2.5$ mag; probability of chance coincidence $\approx0.36$), the only source within $\approx2.7\sigma$. We find that it is too faint to be a globular cluster, young star cluster, red supergiant star, or a giant star near the tip of the red giant branch (RGB). It is instead consistent with a red giant near the RGB "clump" or a massive ($\gtrsim20$ M$_{\odot}$) main sequence star, although the latter explanation is less likely. The source is too bright to be a supernova remnant, Crab-like pulsar wind nebula, or isolated magnetar. Alternatively, NIR-1 may represent transient emission, namely a dust echo from an energetic outburst associated with the FRB, in which case we would expect it to fade in future observations. We explore the stellar population near the FRB and find that it is composed of a mix of young massive stars ($\sim10-100$ Myr) in a nearby HII region that extends to the location of FRB 20250316A, and old evolved stars ($\gtrsim$ Gyr). The overlap with a young stellar population, containing stars of up to $\approx20$ M$_\odot$, may implicate a neutron star / magnetar produced in the core collapse of a massive star as the source of FRB 20250316A.

astro-ph.HE↗

arXiv2025

Discovery and Localization of the Swift-Observed FRB 20241228A in a Star-forming Host Galaxy

On 2024 December 28, CHIME/FRB detected the thus-far non-repeating FRB 20241228A with a real-time signal-to-noise ratio of $>50$. Approximately 112~s later, the X-ray Telescope onboard the Neil Gehrels Swift Observatory was on source, the fastest follow-up to-date of a non-repeating FRB (Tohuvavohu et al. in prep.). Using CHIME/FRB and two of the three CHIME/FRB Outriggers, we obtained a Very Long Baseline Interferometry localization for FRB 20241228A with a 1$\sigma$ confidence ellipse of 11$^{\prime\prime}$ by 0.2$^{\prime\prime}$. This represents the first published localization using both the CHIME-KKO and CHIME-GBO Outriggers. We associate FRB 20241228A with a star-forming galaxy at a redshift of $z = 0.1614\pm0.0002$. The persistent X-ray luminosity limit at this source's location and distance is $<1.2 \times 10^{43}$ erg s$^{-1}$ in the $0.3-10$ keV band, the most stringent limit of any non-repeating FRB to-date (Tohuvavohu et al. in prep.). The stellar mass ($\sim 2.6 \times 10^{10}\,M_{\odot}$) and star formation rate ($\sim 2.9\,M_{\odot}$~yr$^{-1}$) of the host galaxy of FRB 20241228A are consistent with the broader FRB host galaxy population. We measure significant scattering ($\sim$1ms) and scintillation ($\sim$20 kHz at 600 MHz) along the line of sight to this source, and suggest the scintillation screen is Galactic while the scattering screen is extragalactic. FRB 20241228A represents an exciting example of a new era in which we can harness VLBI-localizations and rapid high-energy follow-up to probe FRB progenitors.

astro-ph.HE↗

arXiv2025

Understanding Task Vectors in In-Context Learning: Emergence, Functionality, and Limitations

Task vectors offer a compelling mechanism for accelerating inference in in-context learning (ICL) by distilling task-specific information into a single, reusable representation. Despite their empirical success, the underlying principles governing their emergence and functionality remain unclear. This work proposes the Linear Combination Conjecture, positing that task vectors act as single in-context demonstrations formed through linear combinations of the original ones. We provide both theoretical and empirical support for this conjecture. First, we show that task vectors naturally emerge in linear transformers trained on triplet-formatted prompts through loss landscape analysis. Next, we predict the failure of task vectors on representing high-rank mappings and confirm this on practical LLMs. Our findings are further validated through saliency analyses and parameter visualization, suggesting an enhancement of task vectors by injecting multiple ones into few-shot prompts. Together, our results advance the understanding of task vectors and shed light on the mechanisms underlying ICL in transformer-based models.

cs.LG↗

arXiv2025

Mapping the Spatial Distribution of Fast Radio Bursts within their Host Galaxies

We present deep optical and near-infrared observations of the host galaxies of 34 fast radio bursts (FRBs) detected by the Commensal Real-time ASKAP Fast Transient (CRAFT) survey on the Australian SKA Pathfinder (ASKAP) to compare the locations of FRBs relative to their host light distributions. Incorporating three additional FRBs from the literature, for a total of four repeating and 33 apparently non-repeating FRBs, we determine their projected galactocentric offsets and find a median of $ 4.2^{+5.7}_{-2.5}$ kpc ($1.0^{+1.5}_{-0.6}r_e$). We model their host surface brightness profiles and develop synthetic spatial distributions of their globular clusters based on host properties. We calculate the likelihood the observed location of each FRB is consistent with the smooth light of its host galaxy, residual (primarily spiral) substructure, or globular cluster distributions. The majority of FRBs favor locations within the disks of their galaxies, while only 11$\pm$5\% favor a globular cluster origin, primarily those with galactocentric offsets $\gtrsim3r_e$. At $z<0.15$, where spiral structure is apparent in 86\% of our sample of FRB hosts, we find $\approx 20-46\%$ of FRBs favor an association with spiral arms. Assuming FRBs derive from magnetars, our results support multiple formation channels with the majority of progenitors associated with massive stars and a minority formed through dynamical channels. However, the moderate fraction of FRBs associated with spiral structure indicates that high star formation efficiency of the youngest and most massive stars is not a predominant driver in the production of FRB progenitors.

astro-ph.GA↗

arXiv2025

From Compression to Expression: A Layerwise Analysis of In-Context Learning

In-context learning (ICL) enables large language models (LLMs) to adapt to new tasks without weight updates by learning from demonstration sequences. While ICL shows strong empirical performance, its internal representational mechanisms are not yet well understood. In this work, we conduct a statistical geometric analysis of ICL representations to investigate how task-specific information is captured across layers. Our analysis reveals an intriguing phenomenon, which we term *Layerwise Compression-Expression*: early layers progressively produce compact and discriminative representations that encode task information from the input demonstrations, while later layers express these representations to incorporate the query and generate the prediction. This phenomenon is observed consistently across diverse tasks and a range of contemporary LLM architectures. We demonstrate that it has important implications for ICL performance -- improving with model size and the number of demonstrations -- and for robustness in the presence of noisy examples. To further understand the effect of the compact task representation, we propose a bias-variance decomposition and provide a theoretical analysis showing how attention mechanisms contribute to reducing both variance and bias, thereby enhancing performance as the number of demonstrations increases. Our findings reveal an intriguing layerwise dynamic in ICL, highlight how structured representations emerge within LLMs, and showcase that analyzing internal representations can facilitate a deeper understanding of model behavior.

cs.CL↗

arXiv2025

On $\overline{\partial }_{b}$-harmonic maps from pseudo-Hermitian manifolds to K\"{a}hler manifolds

In this paper, we consider maps from pseudo-Hermitian manifolds to K\"{a}hler manifolds and introduce partial energy functionals for these maps. First, we obtain a foliated Lichnerowicz type result on general pseudo-Hermitian manifolds, which generalizes a related result on Sasakian manifolds in \cite{SSZ2013holomorphic}. Next, we investigate critical maps of the partial energy functionals, which are referred to as $\overline{\partial }_{b}$-harmonic maps and $\partial _{b}$-harmonic maps. We give a foliated result for both $\overline{\partial }_{b}$- and $\partial _{b}$-harmonic maps, generalizing a foliated result of Petit \cite{Pet2002harmonic} for harmonic maps. Then we are able to generalize Siu's holomorphicity result for harmonic maps \cite{Siu1980rigid} to the case for $\overline{\partial }_{b}$- and $\partial _{b}$-harmonic maps.

math.DG↗