Hugging Face's logo

viai957
/
align

lean4
theorem-proving
post-training
grpo
code
Model card Files
xet
 Community
align / code /assets /tokenizer

Commit History

15 days ago

  1. Add files using upload-large-folder tool

    viai957
    Verified signature
    63f41a6

  2. Add files using upload-large-folder tool

    viai957
    Verified signature
    4951e76