GitHub 新星
10 条
arXiv 论文
10 条
-
1
A Decentralized Partially Observable Team Decision Methodology with Delayed Information Sharing
We study decentralized partially observable team decision problems with low-rank latent dynamics and unknown system models. The proposed framework combines team-theoretic equivalence with low-rank modXiaoxing Ren, Thomas Parisini, Andreas A. Malikopoulos
-
2
SpeakerMem-R1: Speaker-Centered Dual-Track Memory for Multi-Party Dialogue
Long-term conversational memory in multi-party settings requires more than retrieving relevant content from long-term conversations: it must distinguish who said what, whom each statement concerns, hoHaobo Zheng, Tan Tang, Yan Chen
-
3
CliffCompaction: Cost-Efficient Compaction for Long-Horizon Coding Agents
Agents often work on complex problems that require millions of tokens of context, which necessitates compacting across sessions due to limited context windows. We develop CliffCompaction, an autocompaTrang Nguyen, Eulrang Cho, Bingqing Chen
-
4
SWE-Serve: Benchmarking Agentic Engineering For Production Inference Serving
We introduce SWE-Serve, a benchmark for evaluating agents on production inference engineering tasks. Implementing an inference feature can require coordinating multiple changes across the serving stacJennifer Williams, Dave Farris, Jeff Farris
-
5
A2M: Trace-Optimized Agent Hijacking in the MCP Ecosystem
Agents using the Model Context Protocol (MCP) rely on semantic matching to select tools from third-party servers, exposing a semantic supply-chain risk through attacker-controlled metadata and outputsLaizhen Li, Xuan Wang, Peicheng Zhao
-
6
Grow the Harness, Not the Context: From Strategy-Free Scaffolds to Reusable Specialist Agents
Large language model (LLM) agents often handle streams of related tasks, yet standard harnesses repeatedly ask the model to reconstruct the same control decisions inside each task's context. We studyLaizhen Li, Jiarui Li, Juanjuan Zhao
-
7
Type-Safe Is Not Error-Free: A Constrained Decision Head Follows the Option Name, Not the Rubric Bound to It
Typed decision models are built for settings where model outputs are consumed directly by software. Instead of generating free-form text, they return a decision over a predefined set of options. By coYu Sun, Junhao Xu
-
8
FleXray: Universal Clinical X-ray Segmentation
X-ray is medicine's most widely used imaging modality, yet remains among its least quantitative. Unlike volumetric modalities like CT or MRI, X-ray collapses 3D anatomy into a 2D projection, causing sVictor Ion Butoi, Vivek Gopalakrishnan, John V. Guttag
-
9
EquivSVA: A Formally Verified Dataset of Behavioral Assertions Across Equivalent RTL Implementations
Large language models are increasingly used to generate SystemVerilog Assertions from natural-language specifica- tions and register-transfer-level designs. Existing datasets and benchmarks support imFNU Aditi
-
10
Metrics Failure in LLM-Based Code Vulnerability Repair: An Empirical Study and a Change-Aware Screen
Large language models (LLMs) are increasingly applied to the automated repair of C/C++ security vulnerabilities, and compile rate is a commonly reported proxy for progress: whether the generated patchOm Nepal, Sushant Aryal, Oluseyi Olukola
Hacker News
10 条
- 1 GPT-6 Sol and Luna
- 2 Italian parliament votes for return to nuclear energy
- 3 Claude discovers a novel enzyme system with CRISPR-like repeats
- 4 Claude Code reads AGENTS.md only when telemetry is on [fixed]
- 5 Fixing the Portobello Police Station Clock
- 6 I don't want the details
- 7 Seattle City Council votes to ban surveillance pricing in sale of groceries
- 8 Gemini 3.8 text-to-speech
- 9 28% of job postings on company career sites have been open over 90 days
- 10 Tokens too cheap to meter