README.md

---
title: VericodingEBM Demo
emoji: 🔍
colorFrom: indigo
colorTo: pink
sdk: static
pinned: false
license: mit
short_description: Per-line fault localization for Verus — interactive demo
---

# VericodingEBM Demo

Interactive demo of the per-line fault localizer described in
[OzLabs/VericodingEBM](https://huggingface.co/OzLabs/VericodingEBM).

- 📄 [Paper](https://github.com/ozlabsai/VericodingEBM/blob/main/paper/main.pdf)
- 💾 [Code](https://github.com/ozlabsai/VericodingEBM)
- 🤗 [Model](https://huggingface.co/OzLabs/VericodingEBM) · [Dataset](https://huggingface.co/datasets/OzLabs/VericodingEBM-data)

Submitted to the Apart × Atlas Computing Secure Program Synthesis Hackathon, Track 3 (Vericoding).