Category
19,710 papers
Web-based applications increasingly rely on understanding long multimodal documents, where answering questions often requires combining information across pages, tables, and figures. Agentic retrieval-augmented generation addresses these tasks through iterative retrieval and reasoning. However, Agentic execution is not...
LLM agents increasingly interact with other agents on behalf of users, yet how users in the loop affect their agents' behavior--for better or worse--remains poorly understood. We study this question through the lens of negotiation, where agents must represent users while strategically bargaining with other agents. To i...
The findings show that architectural design enables lightweight models to handle safety-critical documentation on consumer-grade hardware, advancing technology democratization in construction safety management.
A verifiable framework that decomposes success-weighted plan efficiency as SPE=R\times Q\times E: execution reliability, planning coordination among legal plans, and action economy among completed plans is proposed.
Reach audiences
Advertise in front of researchers, engineers, and readers.
Each new generation of frontier model pushes the edge of what is possible. Inside a harness -- a loop, a shell, a filesystem, the ability to write and run its own code -- a model can take on increasingly difficult work. A growing body of work treats the coding-agent harness as infrastructure for knowledge work rather t...
Comprehensive evaluations of MAREval establish MAREval as a scalable and reliable solution for human-aligned evaluation of recommendation explanations in real-world systems and improves alignment with human judgments over strong singleand multi-agent baselines.
Functional Rank Allocation (FRA), an unlabeled method for constructing practical frontiers, improves worst-case and tail utility over uniform spectral compression in constrained-budget regimes.
Prefix caching enables a Large Language Model (LLM) servers to reuse the Key-Value (KV) states and accelerate prefill computation stage for requests that share a prefix with earlier prompts, thus reducing latency and serving cost. With limited memory resource, the KV cache eviction policy becomes a decisive factor in d...
The reanimation of the Heuristic Compiler reproduces the compiled code appearing in Simon's 1963 paper, and the reanimation of KBEmacs reproduces the SQRT sequence of its December 1984 self-test.
OA-RAG is proposed, an agent that integrates formal reasoning with LLM reasoning, drawing on both the logical structure and informal annotations of domain ontologies, and is competitive with, and sometimes outperforms, domain-specific RAG systems that draw on sources such as textbooks.
There is plenty of room in the middle: substantial utilization gains are available through better job scheduling and GPU multitasking, independent of hardware or application improvements.
RefactorProof measures unchanged-proof stability under program refactoring, not the cost of maintaining a proof after it breaks, which derives 458 Lean-certified variants from the 185 VERINA tasks that compile in the authors' pinned environment while holding the specification and evaluated proof fixed byte-for-byte.
We’re on a journey to advance and democratize artificial intelligence through open source and open science.
We’re on a journey to advance and democratize artificial intelligence through open source and open science.
We’re on a journey to advance and democratize artificial intelligence through open source and open science.
We’re on a journey to advance and democratize artificial intelligence through open source and open science.
We’re on a journey to advance and democratize artificial intelligence through open source and open science.
We’re on a journey to advance and democratize artificial intelligence through open source and open science.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
