Hugging Face model: metamatematico/Metamatematico
Author: metamatematico
Created: 2026-05-21 19:34:59
Last modified: 2026-05-21 21:35:56
Pipeline: text-classification
Library: custom
Likes: 0 | Downloads: 4
Tags: custom, ActorCriticGNN, reinforcement-learning, graph-neural-network, mathematics, theorem-proving, lean4, ppo, actor-critic, gat, formal-verification, memory-evolutive-systems, category-theory, text-classification, es, en, dataset:hendrycks/competition_math, dataset:openai/gsm8k, dataset:AI4Math/NuminaMath-CoT, license:mit, region:us
Card metadata:
language: es, en
license: mit
tags: reinforcement-learning, graph-neural-network, mathematics, theorem-proving, lean4, ppo, actor-critic, gat, formal-verification, memory-evolutive-systems, category-theory
pipeline_tag: text-classification
library_name: custom
datasets: hendrycks/competition_math, openai/gsm8k, AI4Math/NuminaMath-CoT