VibeThinker-3B: Exploring the Frontier of Verifiable Reasoning in Small Language Models Paper โข 2606.16140 โข Published Jun 15 โข 123