Add 11 named-system refs for the Kiewit companion whitepaper

[jeremymanning]

Second tranche of entries for the Kiewit Provost Leadership Fellows application. All 11 were individually web-verified against primary sources (arXiv, NeurIPS/ICML proceedings) and pass bibcheck verify.

Also renames the pre-existing entry:
ChenEtal24 (A M Chen et al., 2024, hierarchical Bayesian model
of adaptive teaching, Cognitive Science 48:7) -> ChenEtal24a
per bibcheck's suffix-on-collision rule. This rename lands before either of the two new Chen-led 2024 papers (ChenEtal24b, ChenEtal24c) is added, so all three keys are unique at every point of the commit history.

Downstream CDL documents currently citing \citep{ChenEtal24} will need to update to \citep{ChenEtal24a}. This is the standard CDL procedure for suffix collisions (see historical precedents in the log: MikoEtal13 -> MikoEtal13a, RichEtal14 -> RichEtal14a, BateEtal15 -> BateEtal15a, McInEtal18 -> McInEtal18a, MayeEtal92 -> MayeEtal92a).

New entries (all arXiv-verified; details in the whitepaper commit that cites them):

Diffusion LMs / coding:
XieEtal25 Dream-Coder 7B arXiv:2509.01142
LiuEtal24 DeepSeek-V3 tech report arXiv:2412.19437
GongEtal25 DiffuLLaMA / DiffuGPT (ICLR '25) arXiv:2410.17891
KhanEtal25 Mercury (Inception Labs) arXiv:2506.17298
JainEtal24 LiveCodeBench arXiv:2403.07974

Base models:
YangEtal24 Qwen2.5 technical report arXiv:2412.15115
(Llama 3 reuses existing cdl.bib entry SingEtal24)

Parallel-diffusion systems:
TangEtal24 ParaTAA (ICML 2024) arXiv:2402.09970
ChenEtal24b Sub-linear parallel diffusion
sampling (NeurIPS 2024 Spotlight) arXiv:2405.15986
ChenEtal24c AsyncDiff (NeurIPS 2024) arXiv:2406.06911
FangEtal24 xDiT arXiv:2411.01738

Networking:
YangEtal25 Lattica cross-NAT AI mesh arXiv:2510.00183

Systems referenced in the whitepaper that have NO citable primary source and will therefore be prose-softened rather than cited:

• EAT edge-scheduling framework (no pre-2025 paper under that name matches the whitepaper's usage)
• libp2p (project specs only, no formal paper; DCUtR is already covered by TrauEtal25)

Integrity check: python bibcheck.py verify cdl.bib -> "looks good!" (6203 entries total, up from the earlier 6192).

List of citation keys added (one per line)

List of citation keys modified (one per line)

Other changes (describe)