FRONTIER RESEARCH

Frontier Research

Papers and findings in AI, computer science and related fields, organized by collection date with original links and publication dates.

Updated 2026-10-28

Research: 5
Paper / preprint

CohortFlow reruns only the steps affected by a user correction

CohortFlow represents clinical cohort selection as a reusable execution graph. Across 100 constructed scenarios and 126 corrections, localized edits reduced waiting time without a significant improvement in requirement-parsing accuracy. The study does not establish clinical cohort validity.

Chen, Neil et al. · arXiv:2610.36100v1PublishedCollectedRead original ↗
Paper / preprint

CEP and SCI keep highly connected documents from misleading search agents

CEP calibrates document ranking with strongest evidence paths and background visitation, while SCI exposes those paths for further investigation. On 830 BrowseComp-Plus questions, the GPT-6-Luna version achieved 91.08% accuracy versus 88.92% for RARG++. The study uses fixed corpora and reports generation costs, not full system costs.

Li, Junchen et al. · arXiv:2610.36134v1PublishedCollectedRead original ↗
Paper / preprint

GraphRAGProv traces graph-query answers back to exact source spans

GraphRAGProv identifies individual statement occurrences and maps query results back to source text. Of 400 supervised diagnostic cases, 311 yielded fully decoded provenance. Construction could access expected answers, so this is not an unseen-question benchmark; a complete computation trace does not guarantee semantic correctness.

El Amrani, Wadie; Galárraga, Luis · arXiv:2610.37237v1PublishedCollectedRead original ↗
Paper / preprint

LinePG improves line-neighbor search with links between regions

LinePG adds a small set of cross-region links to a vector proximity graph. For top-100 line queries at recall of at least 0.99 across six datasets, the authors report 1.44–2.44× the throughput of direct graph search. These are line-query benchmarks, not evaluations of RAG quality.

Xie, Jiadong et al. · arXiv:2610.37256v1PublishedCollectedRead original ↗
Research report

AMS balances sparse-matrix work and cache contention

AMS sizes work chunks by expected output and mixes tasks with different cache demands. Its two enhanced variants each beat their corresponding baseline on 19 of 20 displayed SuiteSparse matrices, while very sparse cases can lose to scheduling overhead. The report authors state that a companion paper was accepted at VLDB 2027.

Huang, Wentao et al. · arXiv:2610.36822v1PublishedCollectedRead original ↗

Research: 5
Conference paper

HyperDoc selects multimodal evidence by intent and input budget

A document hypergraph binds visual, textual and structural evidence before cost-aware selection. Evaluated on three long-document QA benchmarks; authors report ICDE 2027 acceptance without naming a track.

Zhao, Wenxin et al. · arXiv:2610.35542v1ICDE 2027 · track not stated (author comment)PublishedCollectedRead original ↗

Research: 5

Research: 5

Research: 10
Conference paper

BiasGuard-D: Auditable quality checks for generated records

Combines cross-model deliberation, voting and deterministic checks to trace record-quality issues. Small BBQ and HaluEval experiments show correction gains but also damage to correct answers. Results depend on judge capability; paraphrase-rich settings remain untested.

Subasi, Kardelen; Chudziak, Jarosław A. · arXiv:2610.29669v1CoopIS 2026 (author-reported acceptance; track unspecified)PublishedCollectedRead original ↗
Conference paper

TT-SAX: Querying time-series shapes in natural language

Encodes levels and cross-segment trends separately to help models compile shape queries. Candidate filtering improves across 220 benchmark queries and six models. A further 1,000 generated queries share the same distribution, limiting broader conclusions.

Tan, Zhao et al. · arXiv:2610.30593v1ADC 2026 (author-reported acceptance; track unspecified; pre-review manuscript)PublishedCollectedRead original ↗
Paper / preprint

Contestable governance agents record human review of metadata

Specialist agents attach evidence to metadata proposals; stewards can challenge arguments and retain their interventions. An HVAC classification implementation and warranty example illustrate the workflow. Cross-system records and precedent gates remain proposals, without measured gains in review effort or decision quality.

Akhtar, Humza; Freeman, Brian · arXiv:2610.31553v1PublishedCollectedRead original ↗
Conference paper

GBOR-RAG interprets enrichment results through evidence subgraphs

A term–gene graph connects gene-set databases and supplies evidence for generated interpretations. Across 42 queries, ORA query time improves by a median 37 times after graph construction. Evaluation uses model ratings calibrated on small human samples; faithfulness to evidence does not establish biological correctness.

Li, Guangcan et al. · arXiv:2610.30710v1IEEE BIBM 2026 (author-reported acceptance; track unspecified)PublishedCollectedRead original ↗
Paper / preprint

Petri nets constrain tool execution by agents

Capabilities, approvals and budgets become consumable marks, enabling safety supervision and analysis of retry costs. A release-agent example needs a refusable commit step after rollout begins. Guarantees depend on four assumptions including complete mediation and faithful state mapping, and do not cover arbitrary leakage through permitted call arguments.

Gu, Chao; Zhu, Quanyan · arXiv:2610.31376v1PublishedCollectedRead original ↗
Paper / preprint

LARA separates agentic retrieval quality from user behavior

Three measurement layers and four lineage fields connect retrieval, use and task outcomes across turns. Logs from one creative assistant show why reformulation is not a direct retrieval-failure signal. The fields are not yet deployed; many metrics remain timing-based, and the framework’s benefits require validation.

Liang, Yan (Fergie) et al. · arXiv:2610.30423v1PublishedCollectedRead original ↗
Paper / preprint

PhysTrace localizes physical violations in video

PhysTrace aligns history-conditioned multimodal expectations with video windows to locate violations and explain them. Its best category-level localization hit rate on IntPhys2-Timing is 70.7%. Results depend on the model, prompts and selected scene categories; this is not a general physical verifier.

Yoo, Taekoan et al. · arXiv:2610.31429v1PublishedCollectedRead original ↗

Research: 5
Paper / preprint

AuDQ: auditable data-quality rule discovery with agents

AuDQ links rules to ontologies, versions and provenance, comparing autonomous discovery with human-guided rules. Initial finance and retail experiments support similar rule diversity but do not establish quality parity. The full execution and root-cause feedback loop remains future work.

Biggiogera, Jacopo et al. · arXiv:2610.26031v1PublishedCollectedRead original ↗
Conference paper

PreCoMem: separating changing user beliefs from memory noise

Semantic deviation, contradiction evidence and retrieval confidence gate memory reinforcement, tentative hypotheses or corrections. The authors report stronger overall results on long-dialogue benchmarks and test belief drift. Findings are limited to the evaluated models, datasets and judging protocol, without guarantees for all real users.

Zhong, Jian et al. · arXiv:2610.29467v1NeurIPS 2026 · Poster (official listing; track unspecified)PublishedCollectedRead original ↗
Paper / preprint

UserSWE: evaluating coding agents with dynamic multi-turn users

Simulated users reveal information gradually; tests run every turn, with verdicts reviewed across model families. Eleven agents on 72 tasks from 42 repositories change rank as interaction budgets vary. The benchmark covers short maintenance episodes, not repository creation or long-term development.

Wu, Zhan-Yu et al. · arXiv:2610.29822v1PublishedCollectedRead original ↗
Paper / preprint

EquiTrace: replayable SQL equivalence proofs from rewrite rules

EquiTrace aligns query representations and composes rewrites into derivations reaching a common expression. It proves 97 of 240 execution-identical model rewrites. Proofs assume sound rules; search capacity and representations for outer joins and windows remain limited. Failure to prove is not evidence of inequivalence.

Chen, Chunyu et al. · arXiv:2610.30100v1PublishedCollectedRead original ↗

Research: 10

Research: 5
Conference paper

FaaSpot runs fault-tolerant workflows on spot instances

DAG failure impact guides checkpointing, scaling and retries. Eight workflows reach 89.03% completion in a trace-driven emulator, not a production-cloud guarantee. The authors report Middleware 2026 acceptance; the track is unspecified.

Patel et al. · arXiv:2610.26709v1Middleware 2026 (author-reported acceptance; track unspecified)PublishedCollectedRead original ↗
Conference paper

Faster Jaro-Winkler joins with bitmap pruning and prefix groups

JUMP computes similarity in linear time for bounded alphabets; adaptive bitmaps and PUMA prefix groups prune comparisons. The authors report up to 1,000× speedups, depending on data and thresholds. The paper appears on SIGMOD 2027’s official acceptance list.

Lankes et al. · arXiv:2610.23652v1PACMMOD / SIGMOD 2027 (official accepted-paper list; track not separately stated)PublishedCollectedRead original ↗

Research: 5

Research: 6
Paper / preprint

Random-projection RAG reduces datastore extraction risks

The method applies the same random projection to datastore and query embeddings while preserving semantic similarity. Authors report strong retrieval, generation and extraction resistance across RAG settings. Comparable empirical privacy does not establish a differential privacy guarantee.

Yao et al. · arXiv:2610.22297v1PublishedCollectedRead original ↗
Paper / preprint

LangDiT redesigns Transformers for continuous diffusion language models

Normalization, noise conditioning and self-conditioning reduce generation perplexity in comparisons retaining the original objectives and samplers. Tests cover LangFlow and Plaid-style models on OpenWebText generation; they do not establish general dialogue or reasoning ability.

Luo et al. · arXiv:2610.22330v1PublishedCollectedRead original ↗
Paper / preprint

Value as Memory uses value predictions to improve robot policies

Recent value predictions encode task progress; demonstrations, interventions and online trials support policy updates. Authors report success-rate gains on long-horizon, deformable-object and contact-rich manipulation. Benefits depend on the tested tasks and training setup, not general robot competence.

Yu et al. · arXiv:2610.22368v1PublishedCollectedRead original ↗
Paper / preprint

Cyclotron compiles recurrence-based interprocessor communication

A recurrence language separates algorithms and communication from hardware mappings, then generates per-processor programs. Authors evaluate matrix operations on up to 16 CPU nodes and 16 GPUs. Performance and the best communication strategy vary with problem size and hardware.

Sundram et al. · arXiv:2610.20981v1PublishedCollectedRead original ↗

Research: 5
Paper / preprint

Training reasoning models for diverse scientific ideas

A model generates a set of idea cards grounded in source papers, rewarded jointly for quality and distinctness. Authors report improved creative utility for an 8B model, a four-expert pilot and proof-of-concept experiments. These do not establish scientific discoveries; authors mark the paper under review.

arXiv · 2610.22324v1PublishedCollectedRead original ↗
Conference paper

OmniVerifier-C1: decomposed visual scoring for world models

Prompts and rules are split into components, jointly training local judgments and overall scores. Authors report gains in image generation and structured tasks such as mazes and Sudoku; the pairwise-verification advantage assumes ground-truth images. Author comments list NeurIPS 2026.

arXiv · 2610.22355v1NeurIPS 2026PublishedCollectedRead original ↗
Paper / preprint

LEASH: uncertainty-guided escalation for computer-use agents

Weak-model hidden states are compared with past successes and failures for initial routing, stepwise escalation and oversight after handoff, without dedicated monitor training. Authors report improved success–cost tradeoffs on OSWorld with four model backbones; this does not establish reliability on arbitrary desktop tasks.

arXiv · 2610.22280v1PublishedCollectedRead original ↗

Research: 6
Conference paper

MemCode: discrete representations for agent memory

Rewrites dialogue into atomic memories and combines codebook associations with vector retrieval. Authors report accuracy and construction-efficiency gains on two memory benchmarks; scope remains the tested settings. Authors state acceptance at NeurIPS 2026.

Li et al. · arXiv:2610.19472v1NeurIPS 2026PublishedCollectedRead original ↗
Conference paper

ProD: reducing stagnation in small-model agents

Uses teacher–student progress gaps to adaptively penalize stalled trajectories. Authors report success-rate and task-efficiency improvements across eight small models; results do not establish universal task coverage. Authors state acceptance at NeurIPS 2026.

Cao et al. · arXiv:2610.19439v1NeurIPS 2026PublishedCollectedRead original ↗
Conference paper

Agent-safety evaluation: sensitivity to benchmark shortcuts

Group holdouts and paired interventions separate predictable labels from guard-decision changes. Some formatting cues affect false positives, with inconsistent effects across models. Authors state acceptance at the NeurIPS 2026 TAE and AIWILD workshops.

Demirkiran & Ernstberger · arXiv:2610.22243v1NeurIPS 2026 workshops: TAE / AIWILDPublishedCollectedRead original ↗

Research: 5

Research: 5
Conference paper

LinguaGuardBench tests language-sensitive agent guards

The study translates user instructions while keeping tool calls, observations and labels fixed across 1,220 steps, testing 19 guard models. Some decisions change with language; this measures language sensitivity, not attack success. Authors note acceptance at the NeurIPS 2026 AIWILD workshop.

arXiv · 2610.22244v1NeurIPS 2026 · AIWILD WorkshopPublishedRead original ↗

Research: 5

Research: 6
Paper / preprint

YUBI-Real2Sim tests scene fidelity for robot evaluation

YUBI-Real2Sim combines dual-fisheye capture, Gaussian scene reconstruction and physical simulation, reproducing real-robot policy ordering in eight of nine scene-task comparisons. Artifact interventions expose task sensitivity, while image-quality scores do not yet yield a generally reliable rule for accepting reconstructed scenes.

arXiv · 2610.17521v1PublishedRead original ↗

Research: 5
Paper / preprint

RECONS conditions multi-agent privacy controls on recipients

Across 485 scenarios, authorized information can propagate to unauthorized agents through routine coordination. RECONS sanitizes messages according to recipient and execution context, reducing disclosure while preserving most authorized sharing. Residual leaks remain substantial, with detection coverage the dominant bottleneck.

arXiv · 2610.16039v1PublishedRead original ↗
Paper / preprint

Dream2Discern trains runtime auditors with hard latent variants

Dream2Discern perturbs representation operators to create difficult latent variants of recorded trajectory prefixes, training a runtime outcome auditor without collecting new executions. Authors report over 90% weighted trajectory accuracy on AFTraj-2K and StepShield; evidence remains limited to these recorded benchmarks.

arXiv · 2610.16071v1PublishedRead original ↗

Research: 5
Paper / preprint

LeHami constrains latent world models with symplectic dynamics

LeHami replaces an unconstrained JEPA predictor with action-conditioned Hamiltonian dynamics integrated by a symplectic step, preserving latent phase-space volume. Visual pendulum experiments improve long-horizon velocity prediction; validation remains concentrated on conservative and actuated pendulum environments rather than complex real-world systems.

arXiv · 2610.15267v1PublishedRead original ↗

Research: 5
Conference paper

Portable skills for agentic retrieval workflows

A customer-support case study combines a portable instruction skill, lightweight tools and a document navigation layer. Authors report strong workflow agreement in a curated corpus with human review, but roughly 90-second cases are slower than their production assistant; broader deployment remains untested. Authors list acceptance to the EMNLP 2026 Industry Track.

arXiv · 2610.14428v1EMNLP 2026 · Industry TrackPublishedRead original ↗
Paper / preprint

SceneForesee benchmarks scene evolution

SceneForesee pairs observed and future scenes with shared entity identities. EvoSee jointly predicts trajectories and events to support temporal reasoning, improving the authors’ SceneForesee and Dyn-Bench evaluations. These benchmark gains do not establish reliable prediction of arbitrary future scenes.

arXiv · 2610.14439v1PublishedRead original ↗

Research: 5

Research: 5

Research: 5

Research: 5
Conference paper

Separating model effects from personas in agent simulations

Heterogeneous social-network simulations separate assigned personas from underlying models. Engagement depends more on the base model in these experiments, with lexical analyses exploring possible explanations; simulated interactions do not establish effects in human social networks. Authors note a spotlight presentation at a COLM 2026 social-simulation workshop.

arXiv · 2610.07535v1COLM 2026 · Social Simulation with LLMs WorkshopPublishedRead original ↗

Type Home, News or Frontier Research to navigate, or search posts.

↑↓ Select ↵ Open Esc Close
Preview