Downloads · 30 days
77
20% of all-time downloads
Gobble-Prover-1.7B
anonymous-submission-naacl/Gobble-Prover-1.7B
Gobble-Prover-1.7B is a text generation model from anonymous-submission-naacl. Use it when you need the model to write or continue text. It is set up for transformers. The card lists the license as apache-2.0.
Anonymous model release for peer review.
All-time downloads
384
Public
Parameters
2B
4.1 GB on disk
Likes
0
Public
Repo makeup
Click a slice to open those files.
.safetensors4.1 GB · 100%
At a glance
- Task
- Text Generation
- Library
- transformers
- License
- apache-2.0
- Model type
- qwen3
- Access
- Public
- Created
- Sep 18, 2026
- Updated
- Sep 18, 2026
- SHA
- 67a80158
Try a prompt
Base models
Model card
From the Hugging Face model README
Gobble-Prover-1.7B
Anonymous model release for peer review.
Gobble-Prover-1.7B is fine-tuned from AI-MO/Kimina-Prover-Distill-1.7B using supervised fine-tuning followed by GRPO. It generates Lean 4 proofs for statements with multiple candidate answers.
This repository contains the model weights, model configuration, and tokenizer. Generated proofs must be checked with Lean.
The base model was developed by Project Numina and Kimi teams and is released under the Apache 2.0 license. See the linked base model card for upstream information.
- Task
- Text Generation
- Library
- transformers
- Type
- qwen3
- License
- apache-2.0
- Languages
- en
- Created
- Sep 18, 2026
- Updated
- Sep 18, 2026