ModelGemma 3 4B

Gemma-3-4B

An open-source language model from Google's Gemma 3 series with 4 billion parameters, intended for research purposes and fine-tuning on downstream tasks.

Timeline (last 90 days)

Oct 5

The collapse in true-theorem recognition ability caused by SFT was observed across four repeated experiments with different random seeds and was reproduced on Gemma-3-4B.

Unverified50%

All Facts (1)

Unverified

The collapse in true-theorem recognition ability caused by SFT was observed across four repeated experiments with different random seeds and was reproduced on Gemma-3-4B.

50%

Source Articles

Breakthrough in Counterexample Generation: Symbolic Verifiers Expose the Imitation Learning Trap and How RL Fixes ItOct 5