---
license: apache-2.0
datasets:
- future-technologies/Universal-Transformers-Dataset
language:
- id
metrics:
- accuracy
base_model:
- deepseek-ai/DeepSeek-Prover-V2-671B
new_version: deepseek-ai/DeepSeek-Prover-V2-671B
pipeline_tag: graph-ml
library_name: adapter-transformers
---