Hugging Face's logo

viai957
/
align

Text Generation
English
align
post-training
rlhf
sft
dpo
ppo
grpo
cispo
expert-iteration
lean4
theorem-proving
formal-verification
fsdp2
mixture-of-experts
code
Eval Results (legacy)
Model card Files
xet
 Community
align / code /docs /workbook /Leanstral_8B_Workbook.xlsx
viai957's picture
viai957
Add files using upload-large-folder tool
63f41a6 verified
History Contribute Delete
69.2 kB
This file contains binary data. It cannot be displayed, but you can still download it.