Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
metamatematico
/
Metamatematico
like
0
Text Classification
hendrycks/competition_math
openai/gsm8k
AI4Math/NuminaMath-CoT
Spanish
English
custom
ActorCriticGNN
reinforcement-learning
graph-neural-network
mathematics
theorem-proving
lean4
ppo
actor-critic
gat
formal-verification
memory-evolutive-systems
category-theory
License:
mit
Model card
Files
Files and versions
xet
Community
Copy to bucket
new
main
Metamatematico
4.5 MB
Ctrl+K
Ctrl+K
1 contributor
History:
16 commits
metamatematico
Update README.md
cdbad8a
verified
10 days ago
src
Upload src/agent.py
10 days ago
.gitattributes
Safe
1.52 kB
initial commit
10 days ago
README.md
Safe
30.8 kB
Update README.md
10 days ago
best.pt
pickle
Detected Pickle imports (3)
"torch._utils._rebuild_tensor_v2"
,
"collections.OrderedDict"
,
"torch.FloatStorage"
What is a pickle import?
2.2 MB
xet
Upload best.pt
10 days ago
config.json
Safe
1.28 kB
Upload config.json
10 days ago
example.py
Safe
4.17 kB
Add example.py
10 days ago
model.py
Safe
12.8 kB
fix: MetamaticoPredictor handles both plain state_dict and full checkpoint (best.pt)
10 days ago
neural_agent.pt
pickle
Detected Pickle imports (3)
"collections.OrderedDict"
,
"torch._utils._rebuild_tensor_v2"
,
"torch.FloatStorage"
What is a pickle import?
2.2 MB
xet
Upload neural_agent.pt
10 days ago
requirements.txt
Safe
214 Bytes
Add requirements.txt
10 days ago
training_log.json
Safe
11.1 kB
Upload training_log.json
10 days ago