| *.7z filter=lfs diff=lfs merge=lfs -text |
| *.arrow filter=lfs diff=lfs merge=lfs -text |
| *.bin filter=lfs diff=lfs merge=lfs -text |
| *.bz2 filter=lfs diff=lfs merge=lfs -text |
| *.ckpt filter=lfs diff=lfs merge=lfs -text |
| *.ftz filter=lfs diff=lfs merge=lfs -text |
| *.gz filter=lfs diff=lfs merge=lfs -text |
| *.h5 filter=lfs diff=lfs merge=lfs -text |
| *.joblib filter=lfs diff=lfs merge=lfs -text |
| *.lfs.* filter=lfs diff=lfs merge=lfs -text |
| *.mlmodel filter=lfs diff=lfs merge=lfs -text |
| *.model filter=lfs diff=lfs merge=lfs -text |
| *.msgpack filter=lfs diff=lfs merge=lfs -text |
| *.npy filter=lfs diff=lfs merge=lfs -text |
| *.npz filter=lfs diff=lfs merge=lfs -text |
| *.onnx filter=lfs diff=lfs merge=lfs -text |
| *.ot filter=lfs diff=lfs merge=lfs -text |
| *.parquet filter=lfs diff=lfs merge=lfs -text |
| *.pb filter=lfs diff=lfs merge=lfs -text |
| *.pickle filter=lfs diff=lfs merge=lfs -text |
| *.pkl filter=lfs diff=lfs merge=lfs -text |
| *.pt filter=lfs diff=lfs merge=lfs -text |
| *.pth filter=lfs diff=lfs merge=lfs -text |
| *.rar filter=lfs diff=lfs merge=lfs -text |
| *.safetensors filter=lfs diff=lfs merge=lfs -text |
| saved_model/**/* filter=lfs diff=lfs merge=lfs -text |
| *.tar.* filter=lfs diff=lfs merge=lfs -text |
| *.tar filter=lfs diff=lfs merge=lfs -text |
| *.tflite filter=lfs diff=lfs merge=lfs -text |
| *.tgz filter=lfs diff=lfs merge=lfs -text |
| *.wasm filter=lfs diff=lfs merge=lfs -text |
| *.xz filter=lfs diff=lfs merge=lfs -text |
| *.zip filter=lfs diff=lfs merge=lfs -text |
| *.zst filter=lfs diff=lfs merge=lfs -text |
| *tfevents* filter=lfs diff=lfs merge=lfs -text |
| align.bundle filter=lfs diff=lfs merge=lfs -text |
| code/notes/0102[[:space:]]-[[:space:]]Policy[[:space:]]Gradient[[:space:]]and[[:space:]]Baselines.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0103[[:space:]]-[[:space:]]Importance[[:space:]]Sampling[[:space:]]and[[:space:]]Off-Policy[[:space:]]Updates.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0101[[:space:]]-[[:space:]]Autoregressive[[:space:]]Likelihood[[:space:]]and[[:space:]]SFT.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0104[[:space:]]-[[:space:]]Trust[[:space:]]Regions[[:space:]]and[[:space:]]the[[:space:]]PPO[[:space:]]Clip.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0106[[:space:]]-[[:space:]]DAPO.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0105[[:space:]]-[[:space:]]GRPO[[:space:]]and[[:space:]]Dr[[:space:]]GRPO.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0109[[:space:]]-[[:space:]]KL[[:space:]]Estimators.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0107[[:space:]]-[[:space:]]CISPO.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0108[[:space:]]-[[:space:]]Training-Inference[[:space:]]Mismatch.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0202[[:space:]]-[[:space:]]Rejection[[:space:]]Sampling[[:space:]]and[[:space:]]Expert[[:space:]]Iteration[[:space:]]as[[:space:]]Policy[[:space:]]Improvement.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0201[[:space:]]-[[:space:]]Verifier[[:space:]]in[[:space:]]the[[:space:]]Loop[[:space:]]as[[:space:]]a[[:space:]]Binary-Reward[[:space:]]MDP.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0110[[:space:]]-[[:space:]]Reward[[:space:]]Shaping[[:space:]]for[[:space:]]Verifier[[:space:]]Rewards.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0203[[:space:]]-[[:space:]]pass@k[[:space:]]Estimator,[[:space:]]Variance[[:space:]]and[[:space:]]the[[:space:]]pass@1[[:space:]]Trade-off.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0204[[:space:]]-[[:space:]]Self-Correction[[:space:]]as[[:space:]]a[[:space:]]Multi-Turn[[:space:]]MDP.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0205[[:space:]]-[[:space:]]Model[[:space:]]Averaging[[:space:]]and[[:space:]]Weight[[:space:]]Interpolation.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0207[[:space:]]-[[:space:]]Test-Time[[:space:]]Scaling[[:space:]]Cost[[:space:]]Model.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0206[[:space:]]-[[:space:]]Curriculum[[:space:]]by[[:space:]]Pass-Rate[[:space:]]Band.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0208[[:space:]]-[[:space:]]Statistics[[:space:]]of[[:space:]]Evaluation.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0209[[:space:]]-[[:space:]]Variance[[:space:]]Components[[:space:]]and[[:space:]]Equivalence[[:space:]]Tests.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0210[[:space:]]-[[:space:]]Data[[:space:]]Selection[[:space:]]and[[:space:]]Contamination.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0301[[:space:]]-[[:space:]]Curry-Howard.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0302[[:space:]]-[[:space:]]Dependent[[:space:]]Types.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0303[[:space:]]-[[:space:]]Hoare[[:space:]]Logic[[:space:]]and[[:space:]]Refinement.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0304[[:space:]]-[[:space:]]Failed[[:space:]]Proof[[:space:]]to[[:space:]]Bug.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0305[[:space:]]-[[:space:]]Spec[[:space:]]Generation[[:space:]]Risk.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0306[[:space:]]-[[:space:]]Verified[[:space:]]Code[[:space:]]Benchmarks.pdf filter=lfs diff=lfs merge=lfs -text |
| code/notes/0307[[:space:]]-[[:space:]]Aeneas[[:space:]]Semantics.pdf filter=lfs diff=lfs merge=lfs -text |
| code/align/assets/tokenizer/goedel-prover-v2-8b/tokenizer.json filter=lfs diff=lfs merge=lfs -text |
| figures/sft_curves_ei_rounds.png filter=lfs diff=lfs merge=lfs -text |
|
|
