ChristianZ97
/

satp-policy-v2

Reinforcement Learning

theorem-proving

Model card Files Files and versions

satp-policy-v2 / cache

1.1 GB

Ctrl+K

Ctrl+K

3 contributors

History: 1 commit

ChristianZ97's picture

satp-v2 epoch-7 (val 37.30% / 91-244) + standalone infer.py + premise cache

19cf242 verified about 1 month ago

mathlib4_premises.txt

38.9 MB
xet

satp-v2 epoch-7 (val 37.30% / 91-244) + standalone infer.py + premise cache about 1 month ago
premise_embeddings.npy
Pickle imports
- No problematic imports detected
What is a pickle import?
1.07 GB
xet

satp-v2 epoch-7 (val 37.30% / 91-244) + standalone infer.py + premise cache about 1 month ago