言栖资讯收录 139749 篇 AI、开发与建站文章（English），按发布时间排序，支持搜索与按语言筛选。
arXiv:2611.07393v1 Announce Type: new Abstract: Recent work in machine learning has demonstrated that transformer-based language model agents can communicate st…
arXiv:2611.07298v1 Announce Type: new Abstract: Embedding models compress variable-length text into fixed-size vector representations, but this compression can …
arXiv:2611.07951v1 Announce Type: new Abstract: Governments increasingly use machine learning (ML) to handle data volumes beyond their analytical capacity, yet …
arXiv:2611.07887v1 Announce Type: new Abstract: Maintainers sometimes cite a low token-similarity score as evidence that an LLM-assisted rewrite of a copyleft p…
arXiv:2611.07882v1 Announce Type: new Abstract: Loop invariants are essential for deductive program verification, yet automatically inferring them for {multipha…
arXiv:2611.07876v1 Announce Type: new Abstract: Large language models increasingly judge code, yet without external feedback such judgments are unreliable, and …
arXiv:2611.07772v1 Announce Type: new Abstract: External validity is a central concern in empirical software engineering, yet the debate has largely focused on …
arXiv:2611.07760v1 Announce Type: new Abstract: Anomaly detection on software logs ensures system reliability through failure identification, root cause analysi…
arXiv:2611.07759v1 Announce Type: new Abstract: LLM-based code assistants are increasingly used in iterative repository-level development, where effective assis…
arXiv:2611.07754v1 Announce Type: new Abstract: Graph databases are becoming foundational infrastructure for connected data, and a growing body of automated tes…
arXiv:2611.07739v1 Announce Type: new Abstract: Database management systems (DBMSs) implement SQL constructs through grammar-driven dispatch handlers. Although …
arXiv:2611.07650v1 Announce Type: new Abstract: Third-party application programming interface (API) relays offer access to large language models (LLMs), often a…
arXiv:2611.07634v1 Announce Type: new Abstract: Large language models increasingly assist developers by proposing small code edits, yet reliably integrating a p…
arXiv:2611.07595v1 Announce Type: new Abstract: Agent exploration produces valuable procedural knowledge, yet much of this experience remains confined to transi…
arXiv:2611.07534v1 Announce Type: new Abstract: LLM-enabled customer-service software in financial institutions must choose a downstream service before respondi…
arXiv:2611.07442v1 Announce Type: new Abstract: Memory-safety concerns make Rust an attractive target for modernizing legacy C/C++ systems, yet project-level C+…
arXiv:2611.07307v1 Announce Type: new Abstract: Coding agents increasingly collaborate on long-term projects. When taking over a project, they need to recover c…
arXiv:2611.07286v1 Announce Type: new Abstract: LLM agents are increasingly used for repository-level software engineering tasks. However, most agents still acc…
arXiv:2611.07194v1 Announce Type: new Abstract: Coding agents achieve high success rates on existing benchmarks for Verus, a verifier for Rust programs. These b…
arXiv:2611.07166v1 Announce Type: new Abstract: Developers rarely give a coding agent a single request: they ask it to build a component and then to extend, upg…