言栖资讯收录 138812 篇 AI、开发与建站文章（English），按发布时间排序，支持搜索与按语言筛选。
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…
arXiv:2611.07109v1 Announce Type: new Abstract: Modern issue tracking systems are used to log an issue and track it from its inception to closure. Issue reports…
arXiv:2611.07040v1 Announce Type: new Abstract: Diagnostic Signal Reachability (DSR) captures whether board-level health signals are observable by management co…
arXiv:2611.06967v1 Announce Type: new Abstract: Durable execution engines replay a recorded history and do not compare activity payloads. When a model repairs a…
arXiv:2611.06965v1 Announce Type: new Abstract: Self-play loops in which a model writes tasks, derives an answer key and trains on its own matching solutions ar…
arXiv:2611.06961v1 Announce Type: new Abstract: Artificial intelligence (AI)-enabled systems are increasingly deployed in operational environments where machine…
arXiv:2611.06950v1 Announce Type: new Abstract: Continuous integration and AI-assisted review spend the same budget on every commit, although few commits introd…
arXiv:2611.06948v1 Announce Type: new Abstract: Combining estimates can reduce individual prediction errors, but an ensemble may also dilute an unusually accura…
arXiv:2611.06947v1 Announce Type: new Abstract: Developers who upgrade a Python audio library need to know what changed in the code they import and whether the …
arXiv:2611.06946v1 Announce Type: new Abstract: Several recent systems add a layer above the coding-agent harness that organises many agent runs into continuous…
arXiv:2611.06939v1 Announce Type: new Abstract: Automated testing of mobile applications remains challenging when realistic user interactions must be reproduced…
arXiv:2611.06922v1 Announce Type: new Abstract: LLM agents are increasingly used for black-box mobile application testing, where the ultimate goal is the compre…
arXiv:2611.06921v1 Announce Type: new Abstract: Generative AI is making software implementation faster, but not necessarily better architected. Most current Gen…
arXiv:2610.38020v2 Announce Type: replace Abstract: It was recently shown (arXiv:2610.09618) that the infimum of the approximation ratios of deterministic const…
arXiv:2609.03315v2 Announce Type: replace Abstract: Existing concurrency control protocols either introduce nondeterminism, resulting in a serial execution-repl…
arXiv:2608.01651v2 Announce Type: replace Abstract: Emerging LLMs increasingly interleave full attention with recurrent linear attention to reduce long-context …
arXiv:2604.15279v2 Announce Type: replace Abstract: Hybrid High-performance Computing (HPC)-quantum workloads based on circuit cutting decompose large quantum c…
arXiv:2603.10342v2 Announce Type: replace Abstract: Large language models (LLMs) are increasingly deployed as AI agents that operate in short reasoning-action l…