| 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 | |