Model · Hugging Face

viai957/align

Name: align
Author: viai957

Author / organization	viai957
License (as declared)	apache-2.0
Downloads	0 (as reported by Hugging Face)
Likes	0
Created	20 October 2026
Last updated at source	—

lean4theorem-provingpost-traininggrpocode

Embed this entry

<iframe src="https://silytics.si/embed/item/2661ae9d-fec4-4851-ab37-eb805c55676a" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

More from viai957

viai957/nano-mistral-o1-grpo-stageb-step48Model
viai957/nano-mistral-o1-dpo-arm-aModel
viai957/nano-mistral-o1-sftModel
viai957/nano-mistral-o1-dpo-arm-a-halfepoch-salvageModel
viai957/nano-mistral-o1-dpo-arm-bModel
viai957/nano-mistral-o1-dpo-arm-b-responseModel

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 20 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.