--- license: bigscience-openrail-m datasets: - nvidia/OpenCodeReasoning - deepseek-ai/DeepSeek-ProverBench - Qwen/CodeElo - JetBrains-Research/commit-chronicle language: - en metrics: - accuracy - bertscore base_model: - Qwen/Qwen3-235B-A22B new_version: deepseek-ai/DeepSeek-Prover-V2-671B pipeline_tag: token-classification library_name: asteroid tags: - finance ---