Registry · Proposition VII.P14 tau-effective formalized

VII.P14 — LLM as Subsymbolic Evidence

LLMs provide empirical evidence for subsymbolic processing; the subsymbolic layer is computationally powerful.

Book VII Part 5 Ch. 64

Dependency Graph

Depends on (2)

VII.D52 VII.D55

Lean Formalization

Module: TauLib.BookVII.Meta.Saturation

Symbol: Tau.BookVII.Meta.Saturation.llm_subsymbolic_evidence