Researchers Propose Axioms to Test What a Model's Latent Reasoning Actually Represents · Polylog