Hugging Face's logo

sorgfresser
/
kiminaembedbeta

Safetensors
qwen2
Model card Files
xet
Community
sorgfresser commited on
Commit
a973a26
·
verified ·
1 Parent(s): 18280ae

Create README.md

Browse files
Files changed (1) hide show
  1. README.md +6 -0
README.md ADDED
@@ -0,0 +1,6 @@
 
 
 
 
 
 
 
1
+ ---
2
+ base_model:
3
+ - AI-MO/Kimina-Autoformalizer-7B
4
+ ---
5
+
6
+ A GRPO version on RLMEval, with embedding similarity and type-check accuracy as rewards, both with weight 1.0, and a KL divergence beta of 0.04.