SEARCH · arXiv Science

Search arXiv Science

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 1,801 records · Page 100Linked to original sources

arXiv2026

RAG-RST: Retrieved Exemplars as In-Context Discourse Schema for RST Parsing

In Rhetorical Structure Theory (RST), each edge of a discourse tree carries a nuclearity label, marking which span holds the central content, and a relation drawn from a closed inventory of functional categories. Neither label is a surface property: the same two clauses can be Elaboration or Background depending on rhetorical intent, and the boundary between them is fixed by annotation convention rather than by lexical cues. Predicting these labels therefore requires a formal discourse schema, and exposure to discourse-rich pretraining text does not supply it: given only a target EDU pair, a strong LLM recovers nuclearity at 0.794 F1 and relation at 0.738 F1. We propose RAG-RST, a retrieval-augmented framework that supplies this schema as in-context demonstration rather than through parameter updates, raising nuclearity to 0.846 F1 and relation to 0.788 F1 with no training. Two configurations are compared: a precomputed strategy that labels all EDU pairs before parsing, and a dynamic strategy that retrieves at each reduce step, so that the exemplars reaching the generator depend on the reductions the parser has already committed to. Both outperform existing RST parsers across span, nuclearity, relation, and full tree metrics, with the dynamic variant consistently strongest. Two properties of the retrieved schema emerge: its utility is bounded in number, saturating and then declining beyond fifty exemplars, and it depends on structural position. Both indicate that a formal linguistic schema can be supplied to a foundation model as a demonstration rather than trained into its parameters.

cs.AI↗

arXiv2026

Spectral comparison on Specht modules and mixing of the interchange process

We characterize the cases in which the minimal eigenvalues of interchange-process Laplacians on two Specht modules can be compared up to a positive multiplicative constant, independent of the edge rates. In the comparable cases, we establish an inverse-polynomial lower bound for this constant. We conjecture that the constant can always be taken to be 2/3. We apply these ideas to the mixing times of the interchange and exclusion processes. Using the comparison method of Hermon, Kozma and Salez, we prove that our conjecture implies a conjecture of Oliveira on the mixing time of the interchange process. We also obtain unconditional mixing-time bounds for both processes.

math.PR↗

arXiv2026

Specification Gaming and a Constrained Reinforcement Learning Mitigation in a Cleaning Gridworld

Reinforcement learning agents optimize exactly the reward signal they are given, which can diverge sharply from an intended true objective when that signal is only a proxy for it; this failure mode is known as specification gaming. Existing evidence for this failure mode is largely observational, with comparatively few demonstrations pairing a controlled, deliberately constructed proxy/true gap with a mitigation that carries a verifiable guarantee rather than only an empirical improvement. We construct a minimal gridworld in which a cleaning-robot agent can either genuinely remove dirt or conceal it from a cheap sensor, and show that a standard deep Q-network trained only on the sensor's proxy reward converges to a policy that games it completely, reaching near-maximal proxy reward while never achieving the true objective. We then introduce a constrained reinforcement learning fix, penalizing the specific behaviors through which the agent exploits the gap, and show that it eliminates the gaming behavior from the final policy while substantially recovering true-objective performance. We further derive and empirically verify an exact accounting identity relating the proxy reward, true reward, and our cost signal for this environment, showing that the cost signal measures the proxy/true gap exactly rather than merely tracking it, and yields a deterministic guarantee under a hard-constrained variant of the method.

cs.LG↗

arXiv2026

Event-Triggered Funnel Control for Output Reference Tracking of Unknown Nonlinear Systems

We propose an event-triggered zero-order hold implementation of the funnel controller for output reference tracking of unknown nonlinear systems. The control input is updated only when the deviation between the current and the last transmitted input exceeds a prescribed threshold, reducing the number of input updates while maintaining closed-loop performance guarantees by incorporating an auxiliary integral state to compensate for the error introduced by the zero-order-hold input. We establish a uniform lower bound on the inter-event intervals excluding Zeno behavior, and show that the same closed-loop guarantees hold for any predefined sampling schedule with sufficiently short sampling intervals. The theoretical results are illustrated by numerical simulations.

math.OC↗

arXiv2026

Integrative Thinking in Computational Physics Design Essays

This study investigates integrative thinking in undergraduate computational physics design essays (CPDEs) within an engineering design-based introductory physics laboratory. Integrative thinking refers to the interaction of science, mathematics, computation, design, and metacognitive reflection during problem solving. Using the Ways of Thinking for Engineering Design-based Physics (WoT4EDP) framework, we examine how levels of integrative thinking can be characterized and manifested across teams with different levels of academic performance. We analyzed CPDEs from 14 student teams in a first-semester calculus-based physics course. Teams were grouped into high-, middle-, and low-performing categories based on members' final examination performance, enabling comparison of integrative thinking across academic performance levels. CPDEs were analyzed using thick description and an analytic rubric characterizing three levels of integrative thinking: superficial, intermediate, and substantial. Findings illustrate variation in how students coordinate multiple ways of thinking within engineering design-based physics tasks and provide a structured lens for examining integrative thinking across levels of academic performance.

physics.ed-ph↗

arXiv2026

Realtime-Bench: Can Frontier Models Solve Real-time Interactive Problems?

Real-time interaction requires agents to perceive evolving environments and act under temporal constraints, yet existing evaluations of real-time streaming models focus on conversational quality and streaming perception, leaving effective action under strict temporal constraints untested. We introduce Realtime-Bench, a suite of carefully curated dynamic tasks where delayed actions directly affect success. Under Wall Clock, where environments advance according to actual inference latency, the best success rate reaches only 44% and the best Pass^3 is only 36%, demonstrating that real-time interaction remains challenging. To separate serving latency from models' real-time streaming capability, we compare Wall Clock with Paused Clock, which removes inference delays as an idealized reference, and introduce Token Clock, which advances simulated time according to generated token counts, testing temporal awareness independently of physical serving speed. We find that temporal costs limit success in evolving environments and that higher reasoning effort has mixed effects under time pressure, reflecting a trade-off between decision quality and timely execution. These findings suggest directions for improving real-time multimodal agents, including adaptive reasoning with temporal awareness and continuous perception and action.

cs.AI↗

arXiv2026

Double affine Frobenius Hecke algebras

We define double affine Hecke algebras associated to the $\textrm{GL}_n$ and $\textrm{SL}_n$ root data, decorated by a supersymmetric Frobenius superalgebra. When the Frobenius algebra is the group algebra of a finite group, we obtain new double affine versions of the quantum wreath Hecke algebras, and in particular of the affine Yokonuma-Hecke algebras. We prove a basis theorem, describe the centre for generic parameters, and define polynomial representations. We also provide a diagrammatic interpretation, from which we deduce certain involutions and symmetries of the algebra, and use it to describe an $\textrm{SL}_2(\mathbb{Z})$-action by outer automorphisms.

math.RT↗

arXiv2026

The importance of tensor handling and implementation of physics-informed DeepONets

Physics-informed neural networks (PINNs) reduce or eliminate the need for large labelled datasets by enforcing governing equations during training. Physics-informed Deep Operator Networks (PI-DeepONets) extend this approach to learning solution operators, enabling rapid prediction across families of problems. Despite these advantages, we show that their application to higher-dimensional problems remains limited by the computational cost of training. To address this issue, we propose a modified PI-DeepONet architecture that reduces this cost by removing redundancy in how the Branch network processes input functions across collocation points. The proposed formulation is mathematically equivalent to the original architecture but reduces input tensor sizes and the number of Branch network evaluations. We analyse the computational complexity of both architectures and derive theoretical scaling laws for training time with respect to the number of collocation points and input functions. The proposed architecture is evaluated on 1D, 2D, and 3D linear advection problems. In all cases, it achieves comparable predictive accuracy to the original PI-DeepONet while consistently reducing training time. In 2D experiments, a maximum speed-up of $3.75\times$ is observed, with empirical training-time scaling agreeing with the predicted linear dependence on collocation points and input functions. Furthermore, training a 3D model on an NVIDIA A100 GPU is only feasible using the proposed architecture, as the original formulation exceeds memory limits. These results demonstrate that careful consideration of how PI-DeepONets are implemented can yield substantial gains, enhancing the practical performance of PI-DeepONets and enabling their application to otherwise intractable physics-informed learning problems.

cs.LG↗

arXiv2026

PremiseSQL: Evaluating Premise Critique and Abstention in Text-to-SQL Systems

Recent advances in large language models (LLMs) have substantially improved Text-to-SQL performance, yet existing NL2SQL systems largely assume that user queries are valid and answerable. As a result, models often generate executable SQL even for queries with flawed premises. We introduce premise critique ability in NL2SQL, namely the ability to recognize flawed queries and abstain from generating misleading SQL. To evaluate this capability, we propose PremiseSQL, a benchmark containing 1,800 flawed NL2SQL queries across four categories of premise failures, along with their 1,800 original queries. We further design an evaluation framework to measure intrinsic and prompt-induced premise-aware behavior across three prompting settings. Experiments on frontier LLMs show that current models are strongly premise-trusting by default and rarely critique flawed premises. Stronger critique-oriented prompting improves detection and abstention on flawed queries, but also increases false invalid judgments and suppresses SQL generation on originals. The code is available at https://github.com/vegeet/PremiseSQL.

cs.CL↗

arXiv2026

The Mission Market: Flying NASA's Vetted, Unflown Science

Every year NASA validates more excellent science missions than it can afford to fly. Some of the most promising missions in astrophysics, heliophysics, and planetary science are judged selectable, yet remain grounded indefinitely. Mission Market is an advance market commitment that can fly lower cost missions without competing for federal appropriations. Funding comes primarily from the enormous capital now flowing into artificial intelligence (AI) companies that value generating frontier data for scientific foundation models and is also supplemented by traditional means such as philanthropy and patron-scientists.

astro-ph.GA↗

arXiv2026

EMO: A Closed-Loop Test-Time Computation Framework via Alternating Context Optimization and Logits Steering

Test-time context optimization adapts frozen language models through textual feedback, but ordinary conditional generation provides no separate control over how strongly to reinforce the distributional changes induced by a context update. We introduce EMO, a training-free framework inspired by expectation--maximization that alternates question-specific context estimation (E-step) and distribution refinement (M-step). The E-step revises a system context using textual gradients from an external judge without access to gold answers. The M-step contrasts next-token distributions under the revised and preceding contexts at a shared prefix to construct a confidence-constrained logit correction. Feedback on the steered response drives the next context update, coupling adaptation across rounds with intervention within each generation. Theoretically, we connect parameter and context optimization through a shared target-KL objective and additive logit representations, and derive the steering vector from context-induced logit displacements. Under context-improvement and faithful-steering assumptions, we prove a one-round decrease in target KL divergence for sufficiently small steering strength. Under greedy decoding across eight models and six benchmarks, EMO improves the zero-shot baseline in 39 of 40 aggregated settings, averaging $+9.10$ percentage points. With the same judge, it adds $+1.53$ points on average over context-only optimization (TextGrad), with consistent MMLU-Pro gains across models. At matched target-model generation budgets, accuracy advantages over best-of-$N$ are strongest on Llama, while oracle coverage is higher in most comparisons despite fewer candidates. The coverage--selection gap motivates allocating test-time computation jointly to candidate generation and verification.

cs.CL↗

arXiv2026

Gluing weak approximability along recollements

We study whether weak approximability glues along recollements of triangulated categories that are compactly generated by a single object. This is applied to derived categories of complexes with quasi-coherent cohomology and prescribed support for quasi-compact quasi-separated algebraic spaces.

math.AG↗

arXiv2026

The invariant cell number property for $\mathbb{E}_4$-rings

For any non-zero $\mathbb{E}_4$-ring $R$, we prove that an $n$-fold direct sum of suspensions of $R$ cannot admit an exhaustive filtration by fewer than $n$ cells. We do this by showing that certain integral representations of the symmetric group lift to Schur functors on additively $\mathbb{E}_3$-monoidal $\infty$-categories. We then reduce the statement to a vanishing fact for rational Schur functors due to Deligne.

math.AT↗

arXiv2026

Multi-sourced AI Tutor for Non-Native English Speaker Students

Large language models (LLMs) are increasingly being adopted as teaching tools in computing education, particularly for developing AI tutors capable of answering student questions. With the rise in enrollment of international students in computing programs, researchers have begun to explore the difficulties that non-native English speaker (NNES) students face in computing courses due to language barriers. To aid such students, we developed a general-purpose AI tutor system that can process student questions in foreign languages (currently focused on Mandarin) and provide bilingual responses. Our system also incorporates the functionality of generating a glossary of technical terms and their explanations to enhance comprehension. Our approach utilizes a specialized Retrieval-Augmented Generation (RAG) pipeline with a novel question extraction mechanism, enabling us to effectively utilize a diverse array of course materials for answering student queries. We evaluated our AI tutor using 91 Piazza posts, demonstrating that it could answer 83.52% of the posts correctly and in a helpful manner. The tutor also provided high-quality translations for 76.92% of the questions and generated technical term glossaries for 64.47% of them. Our findings underscore the potential of multi-source RAG pipeline in enhancing AI tutor systems, offering support for non-native speakers that are challenging to provide with traditional supporting staff of a computing course.

cs.AI↗

arXiv2026

Frequency comb stability, bistability, and self-starting in normal dispersion microresonators

Recent work has demonstrated that it is possible to generate frequency combs in normal dispersion microresonators by taking advantage of fabricated mode coupling that induces a mode split. In particular, photonic crystal resonators periodically modulate the microresonator's width, which geometrically creates mode coupling. In contrast to frequency combs generated by microresonators in the anomalous dispersion regime, which are typically generated using bright solitons, the frequency combs generated by normal dispersion regime microresonators are dark pulses that are commonly referred to as dark solitons or platicons. In this work, we examine the linear stability of platicons in the pump-detuning and pump-power parameter space as the mode split strength and cavity dispersion is varied. Our work reveals a broad region of stability for platicons. Our work also reveals the existence of fingers at high power at whose boundaries a sharp transition occurs and inside of which platicon solutions are bistable. Finally, we investigate the overlap of the region where platicons are stable with the region where continuous waves are modulationally unstable, and it is possible for a platicon to self-start. Simulations show that platicons consistently self-start inside this region.

physics.optics↗

arXiv2026

Investigation of an X-class Flare and Quasi-Periodic Pulsations in NOAA AR 13842 using SDO, Aditya-L1 and Solar Orbiter

We investigate an X9.0 class flare (SOL2024-10-03T12:08) and associated quasi-periodic pulsations (QPPs) in NOAA active region (AR) 13842 using observations from the Solar Dynamics Observatory (SDO), Aditya-L1 and Solar Orbiter (SO). To explore the role of magnetic configuration in the flare, we employ non-force-free-field extrapolation technique for reconstructing a sequence of the coronal magnetic field throughout the flare. The observations reveal the emergence of intricate flare brightenings and ribbons. QPPs are observed with periods of $\approx$ 2 and $\approx$ 6 minutes in EUV, $\approx$ 7 minutes in UV, and $\approx$ 1 minute in X-rays. The extrapolation documents the presence of a flux rope, a sheared arcade, and a hyperbolic flux tube (HFT) enveloping the rope and the arcade. The sequence of the extrapolation illustrates an increase in the twist of the rope as it ascends towards a torus-unstable region, thereby rendering the rope a viable candidate for eruption. The sheared arcade appears to generate electric current through its foot-point's motion, which explains the sigmoidal brightening observed at the flare onset. The motion also seems to drive the non-parallel field lines closer together, heightening gradient in the magnetic field beneath the rope. Consequently, recurrent magnetic reconnection is anticipated within the sheared arcade --- explaining the ascent of the rope with its twist increment. The formation of parallel flare ribbons is attributed to these reconnections. Furthermore, reconnection at the HFT is proposed to lead the remote and quasi-circular ribbons. Crucially, repeated reconnections inside the arcade as well as at the HFT are speculated to cause the QPPs.

astro-ph.SR↗

arXiv2026

Cone Invariance and Homoclinic Standing Waves for Cooperative Finite-Range DNLS Equations

We develop a constrained-power variational framework for positive homoclinic standing waves in one-dimensional discrete nonlinear Schrödinger equations with cooperative finite-range interactions. Starting from periodic lattices, we construct constrained energy maximizers and use the associated projected gradient flow to establish positive invariance of the cone of nonnegative, even, and unimodal profiles. A central result is that the monotone ordering of the interaction coefficients, $a_1\ge a_2\ge\cdots\ge a_M\ge0$, with $a_1>0$, provides the structural condition ensuring preservation of this cone under finite-range coupling. Under a strict maximum condition above the linear spectral edge, we obtain a uniform frequency gap and period-independent exponential localization. These estimates provide the compactness required for the infinite-period limit and yield positive, even, unimodal, and exponentially localized homoclinic standing waves as strong $\ell^2(\mathbb Z)$-limits of periodic constrained maximizers. Numerical computations for several interaction ranges and cooperative kernels illustrate the effects of extended coupling on dispersion and localization and support the periodic-to-homoclinic convergence predicted by the analysis.

math.AP↗

arXiv2026

CLUE: Uncovering Social Context for Pragmatic Understanding

Understanding a conversation requires connecting what is said to the speakers' relationships, expectations, and earlier exchanges. Prior work shows that supplying relevant context can improve models' social judgments, but much of this information may already be present in the conversation. This motivates training models to discover the cues that matter and use them to support an interpretation. We propose CLUE, a two-stage training pipeline that combines supervised evidence reasoning with GRPO guided by Grounded Information Utilization ($\mathrm{IU}_{\mathrm{G}}$). This reward credits new, evidence-supported social inferences while accounting for reasoning effort. We train on a small set of conversational examples to assess effectiveness and generalization across tasks, languages, and genres. At inference time, the trained model reasons over the supplied interaction in a self-contained manner. Compared with base Qwen, CLUE achieves relative gains of 17.3% in-domain and 9.3% out-of-domain in average weighted F1, with higher F1 on four of five out-of-domain evaluations. These gains are accompanied by over 80% fewer reasoning tokens on average in both domains. Human evaluation further finds that CLUE more often grounds its explanations in specific conversational content, with closer alignment between its quoted evidence and human-selected context.

cs.CL↗

Refine your search to explore more results.