arXiv AI Submissions

{
  "url": "https://arxiv.org/abs/2607.23556v1",
  "title": "GTIN: A Unified Framework for Joint Event and Time Prediction in Temporal Graphs",
  "source": "arxiv",
  "pdf_url": "https://arxiv.org/pdf/2607.23556",
  "version": "1",
  "abstract": "Temporal graphs are increasingly used to model dynamic systems in diverse domains such as social networks, financial networks, and traffic networks. Predicting both what the next event will be and when it will occur in these systems is crucial for understanding and anticipating complex behaviors, but has not been studied much. To address this gap, we propose a unified mathematical framework capable of capturing varying degrees of complexity across temporal graphs. Our framework is flexible and expressive enough to accommodate a wide range of network structures and temporal dynamics. Building upon this analysis, we introduce our novel approach for jointly predicting the next event and its occurrence time. Empirical evaluations across multiple datasets demonstrate that our method consistently outperforms existing techniques, particularly in scenarios involving irregular event patterns and complex temporal dependencies. These findings highlight the potential of our framework as a robust foundation for future research in temporal event prediction.",
  "arxiv_id": "2607.23556",
  "categories": [
    "cs.SI",
    "cs.AI"
  ],
  "published_at": "2026-07-26T09:15:27.000Z"
}

{
  "url": "https://arxiv.org/abs/2607.23557v1",
  "title": "An Unofficial FastLAS Tutorial: A Programmer's Guide",
  "source": "arxiv",
  "pdf_url": "https://arxiv.org/pdf/2607.23557",
  "version": "1",
  "abstract": "FastLAS is a scalable system for Inductive Logic Programming (ILP): you give it some background knowledge, a language bias, and a set of examples, and it searches for a set of logic program rules (a hypothesis) that explains the examples. These notes are a hands-on introduction to writing FastLAS programs. They are organised as a programmer's guide: syntax first, then a ladder of worked, numbered examples of increasing difficulty. Every self-contained example here has been run against FastLAS 2.2.0 and shows the tool's actual output. We keep theory to the minimum needed to write correct programs; throughout, set-off notes flag where FastLAS differs from its sibling system ILASP, and where the two learning algorithms (--opl and --nopl) behave differently. The document is intended as an unofficial tutorial to FastLAS 2.2.0, not as an official language specification.",
  "arxiv_id": "2607.23557",
  "categories": [
    "cs.LO",
    "cs.AI",
    "cs.LG"
  ],
  "published_at": "2026-07-26T09:17:26.000Z"
}

{
  "url": "https://arxiv.org/abs/2607.23575v1",
  "title": "D3O: Dynamic Distribution Distillation for Ordinal Regression",
  "source": "arxiv",
  "pdf_url": "https://arxiv.org/pdf/2607.23575",
  "version": "1",
  "abstract": "Ordinal regression is widely used in scenarios where labels are discrete yet inherently ordered. In practice, however, ordinal labels are often obtained by discretizing underlying continuous semantics through subjective human judgment, resulting in ambiguous boundaries and annotation noise. Such uncertainty challenges existing methods that rely on fixed supervision targets, which may reinforce biased ordering under subjective annotations. To address this limitation, we propose D3O, a dynamic distribution distillation framework that replaces static supervision with training-driven evolution of ordinal label distributions via self-distillation. Specifically, we introduce a contrastive ordinal-aware label enhancement module that leverages vision-language alignment to recover refined label distributions capturing both inter-class ambiguity and instance-level uncertainty. Furthermore, we design a CDF-based cross-layer interaction distillation mechanism to propagate cumulative ordinal structure across network hierarchy, ensuring consistent ordinal geometry in intermediate representations. Extensive experiments on four general ordinal regression tasks demonstrate that our proposed D3O con",
  "arxiv_id": "2607.23575",
  "categories": [
    "cs.CV",
    "cs.AI"
  ],
  "published_at": "2026-07-26T09:58:04.000Z"
}

{
  "url": "https://arxiv.org/abs/2607.23581v1",
  "title": "Verification-Notebook Learning for Source-Aware Multimodal Misinformation Detection",
  "source": "arxiv",
  "pdf_url": "https://arxiv.org/pdf/2607.23581",
  "version": "1",
  "abstract": "Multimodal misinformation verification is challenging because misleading signals may come from different parts of a post and require different forms of evidence. LVLMs are well suited to this task, but their verification performance often depends on the inference procedure applied to each instance. Existing methods improve this procedure through stronger prompting, retrieval, or deliberation, but rarely retain the verification patterns learned from previous examples. We propose Verification-Notebook Learning (VNL), a non-parametric framework that learns an external verification procedure for a frozen LVLM before inference. VNL builds a compact notebook of decision principles, evidence cues, and recurring pitfalls from prior verification experience. The notebook remains fixed during inference and guides the verification of new examples. Rather than updating model parameters or storing demonstrations, VNL records learned knowledge in an artifact that can be inspected directly. Experiments show that VNL consistently outperforms a range of competitive baselines. Further analyses show that the Verification Notebook improves fine-grained source attribution while remaining compact and int",
  "arxiv_id": "2607.23581",
  "categories": [
    "cs.AI"
  ],
  "published_at": "2026-07-26T10:14:06.000Z"
}

{
  "url": "https://arxiv.org/abs/2607.23586v1",
  "title": "Are You Still the Agent I Authorized? Earned Authority under a Fixed Ceiling for Evolving Agents",
  "source": "arxiv",
  "pdf_url": "https://arxiv.org/pdf/2607.23586",
  "version": "1",
  "abstract": "Long-lived AI agents increasingly evolve after deployment by retaining experience, acquiring skills and tools, revising workflows, delegating work, and moving across task phases. This improves adaptation but creates a distinct authorization problem. Tool-enabled agents can turn model errors and prompt injections into consequential external actions; when evolution occurs under a live grant, the subject exercising that authority or the context in which it acts may no longer match what the user evaluated. Evolution can change both the effects reachable under an old grant and the authority required by the task, which may rise, fall, or become incomparable. Existing tool policies constrain actions but do not determine when a grant survives this change. We formulate authorization continuity: when does an existing grant remain valid, how may active authority change, and what boundary must never move? Our state-bound model fixes a transition envelope and an immutable effect ceiling at grant time. The envelope determines whether the grant survives a mutation; below the ceiling, authority may contract freely and expand only under specified evidence conditions. We distinguish requested from r",
  "arxiv_id": "2607.23586",
  "categories": [
    "cs.AI",
    "cs.CR"
  ],
  "published_at": "2026-07-26T10:29:20.000Z"
}

{
  "url": "https://arxiv.org/abs/2607.23597v1",
  "title": "HiTMS: A High-Throughput Multi-Stream Linguistic Steganography Framework",
  "source": "arxiv",
  "pdf_url": "https://arxiv.org/pdf/2607.23597",
  "version": "1",
  "abstract": "Generative linguistic steganography conceals secret bits within the sampling randomness of large language models. Existing schemes are single-stream, conveying an entire secret through a single response to a single prompt. This convention incurs two limitations: it provides no protocol-level support for batched multi-stream inference, and naive co-batching does not conceal slot occupancy or payload completion. We propose HiTMS, which distributes a secret across multiple responses produced jointly over successive rounds of interaction. Each round embeds and extracts several streams within a single batched call, thereby amortizing the cost of model invocation and substantially improving throughput. To ensure recoverability, HiTMS wraps each response in a self-describing frame and employs a key-derived schedule that binds streams to slots and fills unused slots with decoys, guaranteeing exact recovery while concealing the number of active streams. The framework is agnostic to both the language model and the steganographic coder. Across eight dataset-model-coder settings, eight-stream HiTMS achieves up to 4.3 times higher embedding and extraction speeds than single-stream baselines, wh",
  "arxiv_id": "2607.23597",
  "categories": [
    "cs.CR",
    "cs.CL"
  ],
  "published_at": "2026-07-26T10:54:44.000Z"
}

{
  "url": "https://arxiv.org/abs/2607.23602v1",
  "title": "Action from Adjacent Set in Physical Space Outperforms the Best Prediction in World Models",
  "source": "arxiv",
  "pdf_url": "https://arxiv.org/pdf/2607.23602",
  "version": "1",
  "abstract": "Controllers based on sampling and latent world models assign a predicted terminal cost to each candidate action sequence, choose the minimum, execute its first action block, and replan. This rule can fail even when the terminal cost perfectly and accurately reflects the true task objective in the physical world. Residual prediction error can give an infeasible sequence an anomalously low cost, and a larger proposal pool gives such errors more chances to outrank feasible alternatives. We call this conditional failure proposal overgeneration. In Cube candidate execution audits, increasing the total proposal budget from 72 to 288 reduces the feasibility of selection by minimum latent cost from .375 to .062 for position targets and from .344 to .031 for targets defined by position and yaw, although every larger pool contains a feasible sequence. We introduce Adjacent Set Action Reconstruction (ASAR). Among proposals with low cost, ASAR measures density from standardized early action prefixes and reconstructs a full sequence from an adjacent set with a light anchor from the sequence with minimum cost. On a Carry and Release evaluation set of 75 queries, Kernel ASAR improves event comple",
  "arxiv_id": "2607.23602",
  "categories": [
    "cs.RO",
    "cs.AI",
    "cs.LG"
  ],
  "published_at": "2026-07-26T11:11:23.000Z"
}

{
  "url": "https://arxiv.org/abs/2607.23605v1",
  "title": "Hybrid Advantage Estimation with Unified Critic for VLM Agentic Reinforcement Learning",
  "source": "arxiv",
  "pdf_url": "https://arxiv.org/pdf/2607.23605",
  "version": "1",
  "abstract": "Large Vision-Language Models (VLMs) now act as agents in interactive environments, where success requires coherent reasoning and decision-making across turns. Although end-to-end training in agentic environments can improve such multi-turn decision-making abilities, current methods mainly rely on either token-wise optimization over concatenated token trajectories or turn-wise optimization with uniform within-turn credit. In this work, we establish theoretical formulations for the two levels of optimization and derive a hybrid advantage that serves both objectives. Furthermore, with an appropriate choice of discount factor and learning target, we prove that a unified critic model can estimate values for both turn-wise and token-wise. As such, we propose HyGAE, an actor-critic framework that jointly optimizes token- and turn-level objectives with the hybrid advantage and unified critic. We conduct extensive evaluations of HyGAE across five multi-turn decision-making environments, where it achieves an average success rate of 91% and a significant improvement of 10% over other methods. Furthermore, we provide an in-depth analysis showing that the exact analytic form of the hybrid advan",
  "arxiv_id": "2607.23605",
  "categories": [
    "cs.AI"
  ],
  "published_at": "2026-07-26T11:16:59.000Z"
}

{
  "url": "https://arxiv.org/abs/2607.23607v1",
  "title": "MS-GPT: Rethinking MS/MS De Novo Structure Elucidation as Spectrum-Induced Posterior Querying of a Molecule-Language Model",
  "source": "arxiv",
  "pdf_url": "https://arxiv.org/pdf/2607.23607",
  "version": "1",
  "abstract": "Molecular structure elucidation from tandem mass spectra (MS/MS) is a central inverse problem in analytical chemistry. Most existing approaches to MS/MS identification remain tied to reference libraries or predefined candidate sets, whereas de novo methods aim to generate structures directly from spectra. A common de novo route predicts a molecular fingerprint from the spectrum and then decodes structures from it, enabling decoder pretraining on large molecule-only corpora. However, this paradigm creates a training-inference mismatch: the decoder is trained on oracle fingerprints computed from molecules, but at inference it is queried with a noisy spectrum-induced fingerprint posterior that is typically collapsed to a single thresholded fingerprint. We introduce MS-GPT, which recasts fingerprint-mediated de novo elucidation as spectrum-induced posterior querying of a conditional molecule-language model. MS-GPT conditions a molecule-language model on fingerprints and formulas, then converts the spectrum-induced posterior into a band of fingerprint queries near the oracle-fingerprint manifold through active-bit density calibration. Candidates sampled across this band are pooled and r",
  "arxiv_id": "2607.23607",
  "categories": [
    "cs.LG",
    "cs.CL"
  ],
  "published_at": "2026-07-26T11:29:23.000Z"
}

{
  "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"
}