arXiv AI Submissions

{
  "url": "https://arxiv.org/abs/2607.23614v1",
  "title": "DualityCert: Verifier-Gated Language-Model Repair of Broken Duality Claims in Quantum Field Theory",
  "source": "arxiv",
  "pdf_url": "https://arxiv.org/pdf/2607.23614",
  "version": "1",
  "abstract": "We present DualityCert, a symbolic verifier for candidate Seiberg-duality claims in four-dimensional N=1 quiver gauge theories. The verifier evaluates 't Hooft anomaly matching, superpotential R-charge consistency, central-charge matching, and a bounded chiral-ring proxy. A claim that passes receives a consistency certificate, which states that no tested inconsistency was found, not that the duality is proven. We use the verifier as a repair environment for language-model agents, which receive a deliberately broken claim and must edit it until it certifies. On a preregistered benchmark of 145 broken claims, with the analysis fixed before the first confirmatory model call, verifier-gated retry improves final repair success over a single attempt by +8.3 percentage points (pp) on deepseek-chat and +7.1 pp on qwen-plus (Holm-adjusted p<0.002). Under an equal budget of eleven attempts, the stop-first strategy portfolio underperforms independent verifier-filtered resampling by 10.3 percentage points on deepseek-chat but outperforms it by 14.7 points on qwen-plus, reversing the ordering of the two tested verifier-exploitation policies across the two confirmatory models. On qwen-plus, cate",
  "arxiv_id": "2607.23614",
  "categories": [
    "cs.CR",
    "cs.AI",
    "cs.LG",
    "hep-th"
  ],
  "published_at": "2026-07-26T11:39:49.000Z"
}

{
  "url": "https://arxiv.org/abs/2607.23621v1",
  "title": "GEMCo: A Validated, Ethically Releasable Proxy for Inaccessible Counselling Data",
  "source": "arxiv",
  "pdf_url": "https://arxiv.org/pdf/2607.23621",
  "version": "1",
  "abstract": "This paper presents GEMCo, a releasable, human-written proxy for inaccessible counselling data: 86 complete German e-mail counselling conversations (728 messages), expert-authored cases and counsellor sessions with trained role-players. It is validated against a held-out reference of 124 real counselling conversations. The proxy and the real conversations are measured against each other in counsellor strategies and client emotions. The gap is detectable but small. A generative validation supports the analysis. The validation method itself generalises to any domain where real data cannot be shared but a human-made proxy can. Privacy and ethics keep real counselling data closed. GEMCo carries none by design and can be released -- a first step toward language research in this domain.",
  "arxiv_id": "2607.23621",
  "categories": [
    "cs.CL",
    "cs.CY"
  ],
  "published_at": "2026-07-26T12:02:53.000Z"
}

{
  "url": "https://arxiv.org/abs/2607.23624v1",
  "title": "Where Is the Cost of Third-Party API Routers in Agentic Software Development?",
  "source": "arxiv",
  "pdf_url": "https://arxiv.org/pdf/2607.23624",
  "version": "1",
  "abstract": "Third-party API routers have become a common layer that unifies access across increasingly diverse LLM providers. In coding-agent workflows, high-autonomy operation is widely adopted because it reduces interaction overhead. As a result, a third-party API router, which sits between the agent and the upstream provider, inevitably occupies the trusted path. It can inspect and modify every request and response, yet no mechanism verifies alignment between the provider's output and the repository-level actions ultimately executed by the agent. Consequently, client-side permission mechanisms may become ineffective in practice. Whether this control gap produces real, hard-to-detect effects on software development tasks remains empirically unmeasured. In this paper, we conduct an empirical study of router-side injection in coding agents, examining four intervention levels of increasing subtlety: Response Substitution (L1), Response Append (L2), LLM-Polished Injection (L3), and LLM-Polished with Distribution Alignment Injection (L4). Moreover, we develop SIDEL, a framework for trace recording, replay, injection, and defense evaluation, with a curated dataset of 400 samples. We evaluate four ",
  "arxiv_id": "2607.23624",
  "categories": [
    "cs.SE",
    "cs.AI",
    "cs.CL"
  ],
  "published_at": "2026-07-26T12:15:09.000Z"
}

{
  "url": "https://arxiv.org/abs/2607.23632v1",
  "title": "Order in Desbordante: Techniques for Efficient Implementation of Order Dependency Discovery Algorithms",
  "source": "arxiv",
  "pdf_url": "https://arxiv.org/pdf/2607.23632",
  "version": "1",
  "abstract": "Science-intensive data profiling focuses on discovery and validation of various patterns in datasets. This study considers discovery of one such pattern - order dependency (OD). Simply put, OD states that some list of columns is ordered according to another one. It is of use for database query optimization, data cleaning and deduplication, anomaly detection, and much more. Existing discovery methods have approached this problem solely from the algorithmic standpoint, without focusing on the implementation side. At the same time, this problem is very computationally intensive, and therefore this part should not be ignored, as it brings ODs closer to industrial use. In this paper, we study two algorithms for OD discovery which target different OD axiomatizations - FASTOD and ORDER. We start by reimplementing these algorithms in C++ in order to speed them up and lower their memory consumption. We then analyze their bottlenecks and propose several techniques which improve their performance even further. To perform evaluation, we have implemented these algorithms inside Desbordante - a science-intensive, high-performance, and open-source data profiling tool developed in C++. Experiments",
  "arxiv_id": "2607.23632",
  "categories": [
    "cs.DB",
    "cs.AI",
    "cs.LG",
    "cs.PF"
  ],
  "published_at": "2026-07-26T12:36:31.000Z"
}

{
  "url": "https://arxiv.org/abs/2607.23634v1",
  "title": "Variational-Ising-Attention (VIA):TailoredAttentionMattersfor Science",
  "source": "arxiv",
  "pdf_url": "https://arxiv.org/pdf/2607.23634",
  "version": "1",
  "abstract": "Attention enables context modeling via query-key scoring with softmax normalization. Driven by industrial long-context demands, mainstream research has converged toward sparsity and efficiency--yet softmax's independence assumption persists. For scientific tasks unburdened by long-token constraints, however, richer structured coupling may often be essential, making tailored attention both viable and more appropriate. To this end, we propose Variational-Ising-Attention (VIA), which augments softmax normalization with an interacting Ising model; attention patterns emerge from learnable pairwise couplings via variational mean-field inference, redefining attention from a ranking over isolated items to a collective state over interacting entities. We instantiate VIA on retrosynthesis reaction center prediction, a task inherently governed by cooperative bond-breaking constraints. Comprehensive experiments across model variants, coupled with mechanistic analyses, demonstrate that VIA consistently and substantially outperforms standard softmax attention. More broadly, our findings suggest that for scientific problems, the optimal solution is not general-purpose efficiency, but appropriatel",
  "arxiv_id": "2607.23634",
  "categories": [
    "cs.LG",
    "cs.AI",
    "physics.chem-ph"
  ],
  "published_at": "2026-07-26T12:44:36.000Z"
}

{
  "url": "https://arxiv.org/abs/2607.23636v1",
  "title": "Extending Desbordante with Probabilistic Functional Dependency Discovery Support",
  "source": "arxiv",
  "pdf_url": "https://arxiv.org/pdf/2607.23636",
  "version": "1",
  "abstract": "Data profiling aims to extract complex patterns from data for further analysis and use that data in domains such as data cleaning, data deduplication, anomaly detection, and many more. Functional dependencies (FDs) are one of the most well-known patterns. However, they are poorly suited for these tasks, as real data is usually dirty, and the rigid definition of FDs does not allow algorithms to locate them. For this reason, there are several formulations aimed at relaxing FDs to support dirty data, with approximate functional dependency (AFD) being the most popular one. Another formulation is the Probabilistic Functional Dependency (pFD), which we aim to support inside Desbordante - a science-intensive, high-performance and open-source data profiling tool implemented in C++. However, pFDs are relatively poorly studied, compared to AFDs. In this paper we study pFDs, both analytically and empirically. We start by assessing how different pFDs and AFDs are by studying cases in which pFDs have an edge over AFDs. Then, we implement the algorithm for pFD discovery, as well as study its run time and memory consumption. We also compare it with an AFD discovery algorithm. Lastly, we study the",
  "arxiv_id": "2607.23636",
  "categories": [
    "cs.DB",
    "cs.AI",
    "cs.CE",
    "cs.LG"
  ],
  "published_at": "2026-07-26T13:01:48.000Z"
}

{
  "url": "https://arxiv.org/abs/2607.23647v1",
  "title": "CALMRec: Causally Aligned Language Memory for Long-Horizon Recommendation",
  "source": "arxiv",
  "pdf_url": "https://arxiv.org/pdf/2607.23647",
  "version": "1",
  "abstract": "Large language models (LLMs) can summarize heterogeneous user evidence in natural language, but current LLM recommenders often collapse enduring preferences, transient intent, and exposure-induced behavior into one profile. This makes recommendation vulnerable to feedback loops: repeated exposure is mistaken for preference, immediate clicks dominate delayed satisfaction, and fluent explanations need not reflect the ranking decision. We propose our method, a model-agnostic framework for long-horizon recommendation. Our method uses a frozen multimodal language model to convert item content and feedback into evidence-grounded semantic atoms, then maintains separate short-term, long-term, and exposure memories. Propensity-weighted updates reduce policy-induced exposure bias, while a conservative offline critic reranks candidates for delayed satisfaction under a behavior-support constraint. Explanations use only influential evidence atoms and are checked by counterfactual deletion. We provide an identification result and evaluate the framework in e-commerce-like, news-like, and short-video-like environments. Across ten seeds, our method improves discounted long-term value over the stron",
  "arxiv_id": "2607.23647",
  "categories": [
    "cs.LG",
    "cs.AI"
  ],
  "published_at": "2026-07-26T13:28:51.000Z"
}

{
  "url": "https://arxiv.org/abs/2607.23648v1",
  "title": "EmoTrace: An Emotion Trajectory-Centered Framework for Psychological Support Dialogue Generation",
  "source": "arxiv",
  "pdf_url": "https://arxiv.org/pdf/2607.23648",
  "version": "1",
  "abstract": "Using large language models (LLMs) to assist psychological counseling is an important task in the field of natural language processing. The construction of high-quality psychological support dialogue corpora serves as a critical foundation for training counseling-oriented conversational models. However, existing data generation approaches generally suffer from several limitations, including emotionally stable seekers, limited variation in emotional dynamics, and a high degree of compliance with counselors' guidance. These issues result in LLM that lack the capability to effectively respond to emotionally unstable scenarios. In addition, counselor responses are typically driven by problem-solving objectives, thereby overlooking the role of emotion-focused interaction, which are essential in psychological counseling. To address these gaps, we propose EmoTrace, a multi-turn dialogue corpus generation framework centered on modeling seekers' emotional trajectories. we construct seekers' cognitive profile and introduce a seeker module with emotional schemas and an associated activation mechanism, a counselor module, and an emotional trajectory control module, thereby enhancing the layeri",
  "arxiv_id": "2607.23648",
  "categories": [
    "cs.CL"
  ],
  "published_at": "2026-07-26T13:30:04.000Z"
}

{
  "url": "https://arxiv.org/abs/2607.23670v1",
  "title": "Plans Work in Mysterious Ways: Evaluating a Plan Mode for Spreadsheet Agents",
  "source": "arxiv",
  "pdf_url": "https://arxiv.org/pdf/2607.23670",
  "version": "1",
  "abstract": "Plan Modes have become standard features in agentic programming tools, allowing users to gain transparency and control by working with the agent to develop a plan before task execution. However, it remains unclear whether the benefits of this feature translate to end-user programming environments such as spreadsheets. Since spreadsheet programmers tend to work iteratively and care less about technical correctness, upfront planning may not fit into their workflows as easily. In this paper, we build a prototype of a Plan Mode for spreadsheet programming and evaluate it against a non-planning baseline through a within-subjects user study (N=24). We found that despite similar task outcomes with both tools, using Plan Mode led to a reduction in refinement and a better perception of the tool across dimensions of creativity support and human-machine collaboration. We discuss the implications of these results for the future design of Plan Modes, and for the broader role of human-AI planning in end-user programming.",
  "arxiv_id": "2607.23670",
  "categories": [
    "cs.HC",
    "cs.AI",
    "cs.SE"
  ],
  "published_at": "2026-07-26T14:07:11.000Z"
}

{
  "url": "https://arxiv.org/abs/2607.23675v1",
  "title": "An empirical investigation into the properties of standard word embeddings",
  "source": "arxiv",
  "pdf_url": "https://arxiv.org/pdf/2607.23675",
  "version": "1",
  "abstract": "The embedding of word sequences into continuous vector spaces has been one of the most important developments in Natural Language Processing in the recent past. Such embeddings have found application in areas such as Automatic Speech Recognition, Machine Translation, Sentiment Analysis and many more. This essay reviews the various mechanisms that have been proposed for the calculation of word embeddings, investigates popular toolkits and embedding matrices that are available in the public domain, and experiments with one or more selected implementations to better understand their characteristics. La représentation vectorielle continue de mots a été l'un des développements les plus importants dans le domaine du traitement automatique du langage naturel au cours des dernières années. Ces représentations ont trouvé application dans des domaines tels que la reconnaissance vocale, la traduction automatique, l'analyse des sentiments, etc. Ce travail passe en revue les différents mécanismes proposés pour le calcul de ces vecteurs de mots, étudie les kits d'outils populaires et les matrices disponibles publiquement en ligne, et expérimente avec une ou plusieurs implémentations sélectionnée",
  "arxiv_id": "2607.23675",
  "categories": [
    "cs.CL",
    "cs.AI"
  ],
  "published_at": "2026-07-26T14:21:54.000Z"
}