Publication Catalog

所有文章

All published intelligence, sovereign stack research, ecosystem news, and AI foundation model reviews.

571
Stories
Исследования1 мин

Self-Supervised Keyframe Discovery for Horizon-Invariant Behavior Cloning

Behavior cloning (BC) in non-Markovian environments is a challenging problem because policies have to reason over contextual information over long horizons. Existing policy architectures rely on recurrent or attention-based mechanisms to capture long-term dependencies. However,…

arXiv — cs.AI
Исследования1 мин

Whose Ground Truth? Embracing Ambiguity in Human-Centered AI

As AI systems increasingly interact with people and make decisions about them, understanding human interpretations becomes an important part of developing human-centered AI. Conventional machine learning and AI systems are largely developed under the assumption that a single…

arXiv — cs.AI
Исследования1 мин

On the Clock: Towards Punctual and Productive Time-Budgeted AI Agents

We study whether small LLM agents can operate effectively under explicit wall-clock time budgets by both respecting the allocated runtime and using available time productively. We evaluate Qwen3.6-27B on five competitions from MLE-Bench Lite and Qwen3-4B on Zork I (Jericho), two…

arXiv — cs.AI
Исследования1 мин

Learning How to Search for Plans with Exponentially Less Space

Heuristic search for a plan can store exponentially many states, even when its heuristic is almost perfect. We instead learn search control, one specification per domain, written as an indexical policy: a generalized policy with registers that hold objects and modes that…

arXiv — cs.AI
Исследования1 мин

Verification and Self-Improvement in Agentic AI: Foundations and Limits

Agentic AI systems can improve by searching longer, receiving additional support, or modifying how they propose and verify outputs. A performance score does not distinguish these mechanisms. We compare these changes through bounded verification with hidden terminal randomness. A…

arXiv — cs.AI
Исследования1 мин

AgentHorizon: Evaluating Agentic Judges for Long-Horizon Computer-Use Tasks

Computer-use agents are capable of completing complex tasks, increasing the use of automatic judges to determine success, either for training or for evaluation without human involvement. Despite their flexibility, their reliability on long tasks spanning multiple applications…

arXiv — cs.AI
Исследования1 мин

Beyond Imitation: A Framework and Benchmark for LLM-Assisted Peer Review

The rapid growth of scientific publishing has strained peer review, particularly in machine learning, raising concerns about declining review quality and increasing reviewer workload. Large language models (LLMs) have been proposed as automated review assistants, yet their…

arXiv — cs.AI
Исследования1 мин

When Interfaces Speak: Data-Aware Generative UI Harness for Active Interaction

Most human-agent interaction today remains text-based. Natural language can impose cognitive overload, ambiguity, information chaos, and slow input for complex tasks; ephemeral generative UIs can present structured information and guide users toward task completion. We propose…

arXiv — cs.AI
Исследования1 мин

What to Admit and How to Present: Governing Persistent Memory in LLM Agents

Persistent memory can improve personalization in LLM agents but can also induce sycophancy and cross-domain leakage. We distinguish two governance decisions: admission, which determines what recalled information enters the working context, and presentation, which determines how…

arXiv — cs.AI
Исследования1 мин

AliO: Output Alignment Matters in Long-Term Time Series Forecasing

Long-term Time Series Forecasting (LTSF) tasks, which leverage the current data sequence as input to predict the future sequence, have become increasingly crucial in real-world applications such as weather forecasting and planning of electricity consumption. However,…

arXiv — cs.AI
Исследования1 мин

Accelerating Floating-Point Satisfiability Solving via Gradient Normalization

Satisfiability Modulo Theories (SMT) solvers are foundational to software verification, program analysis, and compiler testing, particularly over the theory of Quantifier-Free Floating-Point (QF_FP). While recent optimization-based SMT solvers have successfully applied gradient…

arXiv — cs.AI
Исследования1 мин

How Could AI Eliminate Humanity? A Failure-Mode Analysis of Civilizational Risk

This article develops a failure-mode framework for analyzing how advanced artificial intelligence could contribute to human extinction, irreversible civilizational collapse, or permanent human disempowerment. The central thesis is that catastrophic AI risk does not require…

arXiv — cs.AI
Исследования1 мин

Humanize: Judgement Engineering for Agentic Coding

Agentic coding makes code generation cheap, but reliable completion remains difficult: the agent that writes the code is a weak judge of whether it is done. We present Humanize, a multi-agent orchestration workflow for agentic coding built around judgement engineering: explicit,…

arXiv — cs.AI
Исследования1 мин

Agent Plasticity: Measuring Self-Improvement Through Experience

AI agents increasingly operate in environments where they can diagnose failures and improve through experience, yet existing evaluations largely measure what an agent can do at a fixed point in time rather than how effectively it learns. Evaluating self-improvement requires…

arXiv — cs.AI
Исследования1 мин

Can AI Agents Make Open-Ended Scientific Discovery? Evidence from Station

Recent AI systems have made rapid progress in scientific discovery when given well-defined metrics, but whether they can autonomously undertake open-ended scientific discovery remains unclear. We investigate AI's ability to tackle open-ended tasks in Station, an open-world…

arXiv — cs.AI