Hugging Face's logo

viai957
/
align

lean4
theorem-proving
post-training
grpo
code
Model card Files
xet
 Community
align / code
35.4 MB
  • 1 contributor
 History: 6 commits
viai957's picture
viai957
Add files using upload-large-folder tool
63f41a6 verified