arXiv AI
Jun 9
An Alternative Trajectory for Generative AI
arXiv:2603. 14147v2 Announce Type: replace Abstract: The generative artificial intelligence (AI) ecosystem is undergoing rapid transformations that threaten its sustainability.
The Biomimetic Architecture of Software 4.0
arXiv:2606. 04025v1 Announce Type: cross Abstract: Dominant programming paradigms inherit an execution model optimised for a bygone era of a single human mind instructing a local machine, leaving contemporary systems burdened with historical path dependencies.
Related stories
arXiv AI
Jul 8
From Application-Layer Simulation to Native Meta-Architecture: Structural Tension as an Endogenous Driver for Heterogeneous AI Evolution
arXiv:2607. 06269v1 Announce Type: new Abstract: Current large language models (LLMs) are fundamentally stateless: their behavior is fully determined by input at inference time, and any higher-order cognitive architecture must be simulated at the application layer through prompt engineering and context management.
arXiv AI
Jul 7
Forethought: Verifiable Reasoning from Neurosymbolic Primitive Programming
arXiv:2607. 04096v1 Announce Type: new Abstract: Current agentic workflows usually involve decomposing user requests into sequences of tool calls with correctly resolved parameters, the results of which are processed through reasoning traces in the language model's context window.
Hugging Face Trending Papers
Jul 5
Forethought: Verifiable Reasoning from Neurosymbolic Primitive Programming
Current agentic workflows usually involve decomposing user requests into sequences of tool calls with correctly resolved parameters, the results of which are processed through reasoning traces in the language model's context window. The prevailing route to improve such reasoning is test-time scaling, which trains models to search over long chains of thought; but the resulting capability is entangled in model weights, is not verifiable step-by-step, and is costly at inference.
arXiv AI
Jun 2
Model-Native Computing Architecture: Envisioning Future System Architecture Through the Lens of Computer Architecture
arXiv:2606. 00288v1 Announce Type: new Abstract: Large language models are undergoing a transition from model technology to system technology.
arXiv AI
Jun 11
From Consumption to Reflection: Designing Human-AI Relations for Stable Reasoning
arXiv:2606. 11195v1 Announce Type: cross Abstract: Large language models (LLMs) have transformed how humans access information, but not how we reason with it.
arXiv AI
Jul 7
Formal Disco: Scalable Open-Ended Generation of Formally Verified Programs
arXiv:2607. 04631v1 Announce Type: new Abstract: The cost of producing code is rapidly diminishing with increasingly capable AI agents, while quality assurance of generated programs has not kept pace.
arXiv AI
Jul 13
Beyond Fixed Representations: The Vocabulary and Verifier Gaps in Open-Ended AI
arXiv:2607. 09560v1 Announce Type: new Abstract: Modern AI systems are increasingly being evaluated for their ability to reason, code, prove theorems, use tools, and long-horizon research tasks.
arXiv AI
Jun 16
Open-SWE-Traces: Advancing Dual-Mode Multilingual Distillation for Software Engineering Agents
arXiv:2606. 16038v1 Announce Type: cross Abstract: The path toward autonomous software engineering is currently bottlenecked by a severe deficit of diverse, large-scale trajectory data.
arXiv AI
3d ago
EngramBench: A Capability-Grounded Benchmark for Skill-Evolution Harnesses
EngramBench is a new benchmark designed to evaluate skill evolution in autonomous agents by focusing on genuine capability abstraction rather than solution copying. It includes 30 learning tasks and 13 unseen transfer tasks that require agents to manage complex, multi-hour development cycles with LLM‑simulated users. The study shows that while static skill banks cannot eliminate the need for precise code implementation, they effectively reduce redundant context and cut overall coding time by more than 55%.
arXiv AI
Jul 21
Constraint-Anchored Reasoning Traces
arXiv:2607. 16727v1 Announce Type: new Abstract: Autoregressive multimodal large language models (MLLMs) suffer from error snowballing: a single incorrect inference early in a chainof-thought (CoT) trace corrupts all downstream reasoning.
arXiv AI
Aug 21
The Third Restructuring of Software Form: From the Three-Tier Architecture to Storage, Models, and Agents
arXiv:2608. 20201v1 Announce Type: new Abstract: Software form has undergone two paradigm shifts since its inception: Software 1.