Hugging Face's logo

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
xet
 Community
Metamatematico / src /agent.py

Commit History

Upload src/agent.py
50b0093
verified

metamatematico commited on