Model: weno-ai/leaf
Author: weno-ai
Pipeline: text-generation
Tags: research, text-generation, en, dataset:deepseek-ai/DeepSeek-ProverBench, license:mit, region:us
Card metadata: license: mit
datasets: deepseek-ai/DeepSeek-ProverBench
language: en
metrics: character
pipeline_tag: text-generation
tags: research
Likes: 0 | All-time downloads: 0
Created: 2025-08-08 22:31:55