ChristianZ97/SATP-aesop-policy-xatten
0
Add premises retrieval cache (bm25s + raw + embeddings)
Add model card
Initial: theorem-input @ epoch 39 step 7700 (val_acc 29.51%, modular code post-Plan-D)
initial commit
Add premises retrieval cache (bm25s + raw + embeddings)
Add model card
Initial: theorem-input @ epoch 39 step 7700 (val_acc 29.51%, modular code post-Plan-D)
initial commit