Model: dgtalbug/lara
Author: dgtalbug
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 models (finetune): 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
Likes: 0 | All-time downloads: 0
Created: 2025-08-01 17:01:12