ChristianZ97
/

SATP-aesop-policy

Reinforcement Learning

theorem-proving

Model card Files Files and versions

SATP-aesop-policy

3.32 GB

1 contributor

History: 24 commits

ChristianZ97's picture

Add model card

fa2abc0 verified about 14 hours ago