P philpapers.org Formal Proof: LLM Hallucinations Are Structural, Not Statistical (Coq Verified) 2 points ICBTheory 11 months ago 3 comments