Hugging Face's logo

viai957
/
align

lean4
theorem-proving
post-training
grpo
code
Model card Files
xet
 Community
align / code /bugfind /bench /corpus
5.59 kB
  • 1 contributor
 History: 1 commit
viai957's picture
viai957
Add files using upload-large-folder tool
4951e76 verified