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
lean4
theorem-proving
post-training
grpo
code
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Copy to bucket
main
align
/
code
/
notebooks
/
_m1_src
179 kB
Ctrl+K
Ctrl+K
1 contributor
History:
1 commit
viai957
Add files using upload-large-folder tool
63f41a6
verified
15 days ago
0101-autoregressive-likelihood-sft.py
Safe
6.76 kB
Add files using upload-large-folder tool
15 days ago
0102-policy-gradient-baselines.py
Safe
9.5 kB
Add files using upload-large-folder tool
15 days ago
0103-importance-sampling-offpolicy.py
Safe
8.57 kB
Add files using upload-large-folder tool
15 days ago
0104-trust-region-ppo-clip.py
Safe
8.95 kB
Add files using upload-large-folder tool
15 days ago
0105-grpo-group-advantages.py
Safe
11.9 kB
Add files using upload-large-folder tool
15 days ago
0106-dapo-pathologies.py
Safe
15.5 kB
Add files using upload-large-folder tool
15 days ago
0107-cispo.py
Safe
22.7 kB
Add files using upload-large-folder tool
15 days ago
0108-training-inference-mismatch.py
Safe
18.3 kB
Add files using upload-large-folder tool
15 days ago
0109-kl-estimators.py
Safe
13.7 kB
Add files using upload-large-folder tool
15 days ago
0110-reward-shaping-verifier.py
Safe
11.8 kB
Add files using upload-large-folder tool
15 days ago
0209-variance-components-equivalence.py
Safe
17.7 kB
Add files using upload-large-folder tool
15 days ago
0210-data-selection-contamination.py
Safe
19.9 kB
Add files using upload-large-folder tool
15 days ago
0307-aeneas-semantics.py
Safe
13.8 kB
Add files using upload-large-folder tool
15 days ago
