Hugging Face
Models
Datasets
Spaces
Buckets
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
viai957
/
align
Like
0
Text Generation
6 datasets
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)
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Copy to bucket
main
align
/
code
/
scripts
/
p2
465 kB
Ctrl+K
Ctrl+K
1 contributor
History:
1 commit
viai957
Add files using upload-large-folder tool
63f41a6
verified
16 days ago
supply
Add files using upload-large-folder tool
16 days ago
backend_agreement.py
Safe
19.1 kB
Add files using upload-large-folder tool
16 days ago
build_problems.py
Safe
24.9 kB
Add files using upload-large-folder tool
16 days ago
build_sft_data.py
Safe
23.3 kB
Add files using upload-large-folder tool
16 days ago
build_valid.py
Safe
7.95 kB
Add files using upload-large-folder tool
16 days ago
check_qwen3_snapshot.py
Safe
4.77 kB
Add files using upload-large-folder tool
16 days ago
check_seams.py
Safe
6.78 kB
Add files using upload-large-folder tool
16 days ago
contrasts.py
Safe
41.9 kB
Add files using upload-large-folder tool
16 days ago
eta.py
Safe
9.07 kB
Add files using upload-large-folder tool
16 days ago
eval_report.py
Safe
56.1 kB
Add files using upload-large-folder tool
16 days ago
expert_iteration.py
Safe
50.5 kB
Add files using upload-large-folder tool
16 days ago
k5_levers.py
Safe
49.9 kB
Add files using upload-large-folder tool
16 days ago
kimina_server_start.sh
Safe
1.01 kB
Add files using upload-large-folder tool
16 days ago
launch_baseline.py
Safe
17.5 kB
Add files using upload-large-folder tool
16 days ago
mutation_check.py
Safe
13 kB
Add files using upload-large-folder tool
16 days ago
mutation_check_ei.py
Safe
6.36 kB
Add files using upload-large-folder tool
16 days ago
mutation_check_integration.py
Safe
5.84 kB
Add files using upload-large-folder tool
16 days ago
mutation_check_r2.py
Safe
6.15 kB
Add files using upload-large-folder tool
16 days ago
p2_common.py
Safe
16.9 kB
Add files using upload-large-folder tool
16 days ago
pipeline_gen_verify.py
Safe
9.4 kB
Add files using upload-large-folder tool
16 days ago
prereg_hash.py
Safe
2.51 kB
Add files using upload-large-folder tool
16 days ago
rl_lean.py
Safe
4.83 kB
Add files using upload-large-folder tool
16 days ago
run_round.sh
Safe
6.8 kB
Add files using upload-large-folder tool
16 days ago
smoke_loop.sh
Safe
8.23 kB
Add files using upload-large-folder tool
16 days ago
verifier_hash.py
Safe
756 Bytes
Add files using upload-large-folder tool
16 days ago
verify_generations.py
Safe
16.3 kB
Add files using upload-large-folder tool
16 days ago
