Human and AI-generated texts between modal logic and statistics

arXiv:2609.20311 · math.LO, cs.AI, math.ST, stat.TH · Submitted 2026-07-31 · Read on arXiv

math.LO, cs.AI, math.ST, stat.TH

Submitted: 2026-07-31

Updated: 2026-07-31

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Axioms — 1× in this paper · explained in 2 episodes
• Transformer — 1× in this paper · explained in 2 episodes

Related papers

• Proof verification by polynomial Fingerprinting