Hugging Face's logo 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

Text Classification
Spanish
English
custom
ActorCriticGNN
reinforcement-learning
graph-neural-network
mathematics
theorem-proving
lean4
ppo
actor-critic
gat
formal-verification
memory-evolutive-systems
category-theory
Model card Files Files and versions
xet
Community
Metamatematico
4.5 MB
Ctrl+K
Ctrl+K
  • 1 contributor
History: 16 commits
metamatematico's picture
metamatematico
Update README.md
cdbad8a verified 9 days ago
  • src
    Upload src/agent.py 9 days ago
  • .gitattributes
    1.52 kB
    initial commit 9 days ago
  • README.md
    30.8 kB
    Update README.md 9 days ago
  • best.pt

    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 9 days ago
  • config.json
    1.28 kB
    Upload config.json 9 days ago
  • example.py
    4.17 kB
    Add example.py 9 days ago
  • model.py
    12.8 kB
    fix: MetamaticoPredictor handles both plain state_dict and full checkpoint (best.pt) 9 days ago
  • neural_agent.pt

    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 9 days ago
  • requirements.txt
    214 Bytes
    Add requirements.txt 9 days ago
  • training_log.json
    11.1 kB
    Upload training_log.json 9 days ago