Search for a command to run...
VibeThinker-3B: Erforschung der Grenzen überprüfbaren Schlussfolgens in kleinen Sprachmodellen