VibeThinker-3B: Exploring the Frontier of Verifiable Reasoning in Small Language Models

2 points by Yogthos

k749gtnc9l3w

Hmm, I tried this, pretty impressive proof sketching abilities for its size.