ChristianZ97/SATP-aesop-policy
Upload premise cache: mathlib4_premises.txt
Upload premise cache: premises_raw.npy
Upload premise cache: premises_meta.json
Upload premise cache: bm25_index.pkl
Upload premise cache: premise_embeddings.npy
Add model card
Gen 13 archive (val_acc=0.274590)
Add model card
Gen 12 archive (val_acc=0.282787)
Add model card
Gen 11 archive (val_acc=0.278689)
Add model card
Gen 10 archive (val_acc=0.274590)
Add model card
Gen 9 archive (val_acc=0.295082)
Add model card
Gen 8 archive (val_acc=0.295082)
Add model card
Gen 7 archive (val_acc=0.311475)
Add model card
Gen 6 archive (val_acc=0.311475)
restore best_checkpoint to Gen0 (val_acc=31.97%)
Add model card
Gen 5: advance generation (val_acc=0.307377)
Add model card
Gen 5 archive (val_acc=0.307377)
Add model card
Gen 4 archive (val_acc=0.290984)
Add model card
Gen 3 archive (val_acc=0.303279)
Add model card
Gen 2: advance generation (val_acc=0.307377)
Add model card
Gen 2 archive (val_acc=0.307377)
Add model card
Gen 1 archive (val_acc=0.307377)
Gen 0 archive
Delete warm_up_final.pt
Delete warm_up_best.pt
Delete warm_up.pt
Add model card
Upload best_checkpoint.pt
Upload best checkpoint (val_acc=31.56%, step=5000, run=jwggt3ng)
Add model card
Upload warm_up_final.pt
Upload warm_up_best.pt
Add model card
Upload warm_up_final.pt
Upload warm_up_best.pt
Add model card