Spaces:

OzLabs
/

VericodingEBM-demo

Running

App Files Files Community

VericodingEBM-demo / README.md

guychuk

space card

252327b verified about 2 months ago

preview code

Raw

History Blame Contribute Delete

723 Bytes

metadata

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.

📄 Paper
💾 Code
🤗 Model · Dataset

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