*.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