Hugging Face's logo

viai957
/
align

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