Hugging Face model: OzLabs/VericodingEBM
Author: OzLabs
Created: 2026-05-24 08:04:21
Last modified: 2026-05-24 14:23:38
Library: peft
Likes: 0 | Downloads: 0
Tags: peft, safetensors, code, verus, formal-verification, fault-localization, energy-based-model, lora, en, base_model:Qwen/Qwen2.5-Coder-1.5B-Instruct, base_model:adapter:Qwen/Qwen2.5-Coder-1.5B-Instruct, license:mit, region:us
Base model relation: adapter
Base models: id: Qwen/Qwen2.5-Coder-1.5B-Instruct
Card metadata:
license: mit
language: en
base_model: Qwen/Qwen2.5-Coder-1.5B-Instruct
tags: code, verus, formal-verification, fault-localization, energy-based-model, lora, peft
library_name: peft