CWhat changed
Discovers faster small sorting programs and reports their inclusion in an LLVM standard library.
Scientific scope
Discovers faster small sorting programs and reports their inclusion in an LLVM standard library. Scope limitation: Correctness, speed on particular hardware and broad applicability require separate validation. The complete article byline is recorded; individual roles remain source-bound. Neri’s follow-up and its own erratum distinguish looping routines, restricted input domains and hardware-specific timings; read the linked challenge before generalizing shortest-program or speed claims.
Evidence
Assessment uses the catalogue-linked source evidence for the stated contribution. Correctness, speed on particular hardware and broad applicability require separate validation. The complete article byline is recorded; individual roles remain source-bound. Neri’s follow-up and its own erratum distinguish looping routines, restricted input domains and hardware-specific timings; read the linked challenge before generalizing shortest-program or speed claims.
Contributors
- The research collaboration listed in the linked record and source byline · SCIENCE: Collective scoped contribution. The complete recorded byline remains in the research record; this label does not collapse people into one individual.
- The systems documented in the research record · EXECUTION: Source-reported system assistance within this scope; no provider attestation or independent agency is inferred.
- Mankowitz et al., Faster sorting algorithms discovered using deep reinforcement learning (2023)
- Publisher-deposited byline: Faster sorting algorithms discovered using deep reinforcement learning
- Cassio Neri, Shorter and faster than Sort3AlphaDev, arXiv:2307.14503v1 (2023)
- Author repository: Sort3 erratum and later contribution credit, commit 431ac0efcc216792f10e8f23d24a8ee387b3c348
- Author repository: sort.h, commit 431ac0efcc216792f10e8f23d24a8ee387b3c348
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction