Large Language Models

Agentic AI-based Coverage Closure for Formal Verification

Retrieval-Augmented Generation with Covariate Time Series

Planning as Goal Recognition: Deriving Heuristics from Intention Models -- Extended Version

Cascade-Aware Multi-Agent Routing: Spatio-Temporal Sidecars and Geometry-Switching

Towards Intelligent Geospatial Data Discovery: a knowledge graph-driven multi-agent framework powered by large language models

A transformer architecture alteration to incentivise externalised reasoning

Cerebra: A Multidisciplinary AI Board for Multimodal Dementia Characterization and Risk Assessment

Mapping the Challenges of HCI: An Application and Evaluation of ChatGPT for Mining Insights at Scale

Reliable OOD Virtual Screening with Extrapolatory Pseudo-Label Matching

Almost Sure Convergence of Linear Temporal Difference Learning with Arbitrary Features

Dataset Distillation-based Hybrid Federated Learning on Non-IID Data

LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning

Streaming Attention Approximation via Discrepancy Theory

Multiplicative learning from observation-prediction ratios

Automating quantum feature map design via large language models

Leakage and Interpretability in Concept-Based Models

GAIA: A Foundation Model for Operational Atmospheric Dynamics

Generalizable Heuristic Generation Through LLMs with Meta-Optimization

CyberGym: Evaluating AI Agents' Real-World Cybersecurity Capabilities at Scale

Learning The Minimum Action Distance

RedTopic: Toward Topic-Diverse Red Teaming of Large Language Models

Graph Structure Learning with Privacy Guarantees for Open Graph Data

From Product Hilbert Spaces to the Generalized Koopman Operator and the Nonlinear Fundamental Lemma

From Context to Intent: Reasoning-Guided Function-Level Code Completion

DreamAudio: Customized Text-to-Audio Generation with Diffusion Models

MARS: toward more efficient multi-agent collaboration for LLM reasoning

VL-KnG: Persistent Spatiotemporal Knowledge Graphs from Egocentric Video for Embodied Scene Understanding

Generating Findings for Jaw Cysts in Dental Panoramic Radiographs Using a GPT-Based VLM: A Preliminary Study on Building a Two-Stage Self-Correction Loop with Structured Output (SLSO) Framework

Information Gain-based Policy Optimization: A Simple and Effective Approach for Multi-Turn Search Agents

MCP Security Bench (MSB): Benchmarking Attacks Against Model Context Protocol in LLM Agents

GUIrilla: A Scalable Framework for Automated Desktop UI Exploration

Gaze-VLM:Bridging Gaze and VLMs through Attention Regularization for Egocentric Understanding

Quantifying Systemic Vulnerability in the Foundation Model Industry

Injecting Falsehoods: Adversarial Man-in-the-Middle Attacks Undermining Factual Recall in LLMs

MOON2.0: Dynamic Modality-balanced Multimodal Representation Learning for E-commerce Product Understanding

HUMORCHAIN: Theory-Guided Multi-Stage Reasoning for Interpretable Multimodal Humor Generation

Masking Matters: Unlocking the Spatial Reasoning Capabilities of LLMs for 3D Scene-Language Understanding

Think Before You Drive: World Model-Inspired Multimodal Grounding for Autonomous Vehicles

Arc Gradient Descent: A Geometrically Motivated Gradient Descent-based Optimiser with Phase-Aware, User-Controlled Step Dynamics (proof-of-concept)

Metaphor-based Jailbreak Attacks on Text-to-Image Models

Schr\"odinger's Navigator: Imagining an Ensemble of Futures for Zero-Shot Object Navigation

AI-Generated Code Is Not Reproducible (Yet): An Empirical Study of Dependency Gaps in LLM-Based Coding Agents

VLM-CAD: VLM-Optimized Collaborative Agent Design Workflow for Analog Circuit Sizing

Hierarchical Long Video Understanding with Audiovisual Entity Cohesion and Agentic Search

Representational Homomorphism Predicts and Improves Compositional Generalization In Transformer Language Model

Vision-DeepResearch: Incentivizing DeepResearch Capability in Multimodal Large Language Models

Residual Decoding: Mitigating Hallucinations in Large Vision-Language Models via History-Aware Residual Guidance

FlyPrompt: Brain-Inspired Random-Expanded Routing with Temporal-Ensemble Experts for General Continual Learning