iCogLabs-Dev
/

Lean-Proof-Search-Checkpoints

Reinforcement Learning

theorem-proving

graph-neural-network

Model card Files Files and versions

Lean-Proof-Search-Checkpoints / .gitattributes

Commit History

Nov 7 3 days ago

10:48
initial commit

knull23

Verified signature
46a72d0