Hugging Face
Search models, datasets, users...
Ctrl K
Models
Datasets
Spaces
Buckets
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
iCogLabs-Dev
/
Lean-Proof-Search-Checkpoints
Like
0
Follow
iCogLabs
3
Reinforcement Learning
English
lean
theorem-proving
graph-neural-network
actor-critic
mcts
mathlib
Model card
Files
Files and versions
xet
Community
1
Copy to bucket
main
Lean-Proof-Search-Checkpoints
Commit History
Nov 7
3 days ago
11:14
Document source-aware actor-critic proof-search releases
knull23
Verified signature
ded1676
10:48
initial commit
knull23
Verified signature
46a72d0
