Hugging Face model: dgtalbug/lara
Author: dgtalbug
Created: 2025-08-01 17:01:12
Last modified: 2025-08-01 17:07:31
Likes: 0 | Downloads: 0
Tags: code, en, dataset:microsoft/rStar-Coder, dataset:deepseek-ai/DeepSeek-ProverBench, base_model:deepseek-ai/deepseek-coder-6.7b-instruct, base_model:finetune:deepseek-ai/deepseek-coder-6.7b-instruct, license:mit, region:us
Base model relation: finetune
Base models: id: deepseek-ai/deepseek-coder-6.7b-instruct
Card metadata:
license: mit
datasets: microsoft/rStar-Coder, deepseek-ai/DeepSeek-ProverBench
language: en
metrics: accuracy, bertscore, character, code_eval
base_model: deepseek-ai/deepseek-coder-6.7b-instruct, stabilityai/stablecode-completion-alpha-3b-4k
tags: code