LLM Systems

40 beliefs (40 IN, 0 OUT)

The "LLM Systems" topic constitutes a broad knowledge base spanning the full lifecycle of large language models: from training economics and data engineering, through architectural and representational structure, to inference serving, behavioral characterization, evaluation, and downstream application. It matters because it captures not just what LLMs do but how they are built, deployed, constrained, and increasingly integrated into agent workflows (llm-agent-protocols-mcp-a2a) and sensitive domains such as mental-health support, where 48.7% of U.S. adults with conditions report using them for therapy (48.7-percent-mental-health-llm-therapy-usage). The beliefs collectively position LLMs as a subset of foundation models (llm-subset-of-foundation-models) while treating them as a distinct engineering and scientific object with specific cost structures, failure modes, and design trade-offs.

Several key claims form the structural backbone. On the training side, the computational cost asymmetry between training (approximately 6 FLOPs per parameter per token) and inference (1-2 FLOPs) (training-6-inference-1-2-flops-per-parameter-per-token, training-cost-6-flops-per-param-per-token) frames the economic stakes that DeepSeek-R1 disrupted by matching OpenAI o1's reasoning performance at roughly 95% lower cost using pure reinforcement learning (deepseek-r1-matches-o1-at-95-percent-lower-cost, deepseek-r1-pure-rl-reasoning-jan-2025, deepseek-r1-open-weight-reasoning). This feeds directly into the broader claim that frontier competition now spans proprietary and open-weight tracks, each driving different aspects of progress (frontier-competition-spans-proprietary-and-open-weight). On the representational side, Park's 2025 orthogonality theorems establish that hierarchically related and causally separable concepts occupy orthogonal subspaces in LLM representation space (park2025-hierarchy-orthogonality-subspaces, park2025-orthogonality-causally-separable), and the geometry-as-universal-semantic-currency-v2 belief synthesizes these into a model-independent geometric framework that underpins evaluation, editing, and interpretability. The memory architecture beliefs (complete-memory-hierarchy-bridges-capacity-and-persistence, memory-evolving-from-wider-windows-to-persistent-state) propose a two-axis development along horizontal capacity and vertical temporal persistence, with bridging abstractions at three temporal levels, though they explicitly flag whether a complete unified hierarchy exists as an open question.

The behavioral and evaluation beliefs chart a more sober picture. LLMs exhibit persistent positional bias (lost-in-middle effect) that survives architecture changes, query-aware contextualization, and instruction fine-tuning (llm-lost-in-middle-three-mitigations-incomplete), and the U-shaped curve persists even with random distractors (llm-lost-in-middle-ablation-random-distractors-persist-u-shape). They are order-sensitive and favor popular entities (llm-order-sensitivity-popularity-bias), shift preferences when evidence is fragmented (llm-fragmentation-inconsistency-strategyqa), and show reader saturation before retriever recall is exhausted (llm-lost-in-middle-reader-saturation-before-recall). Critically, Xu et al. (2024) prove via Corollary 1 that no computable LLM can prevent itself from hallucinating, meaning self-correction strategies like chain-of-thought or self-consistency cannot eliminate the problem (xu-2024-corollary-1-llm-cannot-self-mitigate). The evaluation landscape is explicitly multi-paradigm, ranging from intrinsic perplexity through multi-dimensional benchmarks like HELM to task-specific rankings such as MMLU and LMArena (evaluation-landscape-spans-intrinsic-and-extrinsic-paradigms, llm-benchmarks-mmlu-hle-lmarena), without a clean characterization of how intrinsic quality maps to extrinsic task performance. On the inference stack, the beliefs describe a layered optimization discipline spanning algorithmic, memory, compute, and caching concerns (inference-optimization-is-multi-layer-discipline), a canonical pipeline order (inference-optimization-pipeline-order), and hardware democratization through llama.cpp and llamafile (llm-inference-democratized-across-hardware-and-distribution), with vLLM's PagedAttention and continuous batching as a key serving innovation (vllm-uses-pagedattention-and-continuous-batching, vllm-pagedattention) and TensorRT-LLM as the Nvidia-specific counterpart (tensorrt-llm-nvidia-gpu-specific-inference, tensorrt-llm-nvidia-optimized).

Regarding belief status and structure, all beliefs in this topic are currently IN; none have been retracted, so there is no implication of prior claims being withdrawn or contradicted by the system. In terms of epistemic role, the empirical and bibliographic claims—Carlini's 2021 extraction attack (carlini-2021-exact-training-data-extraction-from-llm), Lee et al.'s deduplication result (training-data-deduplication-improves-llm-performance), Shen et al.'s computational infeasibility finding (sub-model-search-computationally-infeasible), the TPU-versus-GPU hardware distinction (tpu-asic-vs-gpu-general-purpose), and the quantization taxonomy (quantization-static-vs-dynamic)—function as relatively stable premises grounded in specific publications or engineering facts. The more synthetic beliefs, such as the memory-hierarchy framing, the geometric unification claim, the frontier-competition characterization, and the inference-democratization narrative, appear to be derived or interpretive syntheses that build on those premises to draw broader architectural and strategic conclusions. The MeLLo no-weight-modification belief (mello-no-weight-modification) and the grooming/poisoning belief (llm-grooming-deliberate-training-data-poisoning) introduce security and editing dimensions that connect back to the training-data and representational-structure claims, rounding out a picture in which LLMs are simultaneously a scientific object to be understood, an engineering stack to be optimized, a competitive product to be costed, and a system with non-trivial failure modes that cannot be self-corrected.