Self-Verification Dilemma: Experience-Driven Suppression of Overused Checking in LLM Reasoning | ScienceToStartup | ScienceToStartup