Spaces:
Sleeping
Sleeping
File size: 678 Bytes
b4f2081 a4fe417 b4f2081 a4fe417 b4f2081 a4fe417 b4f2081 a4fe417 c8d1f51 a4fe417 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 | ---
title: PLSemanticsBench
emoji: 🧭
colorFrom: blue
colorTo: yellow
sdk: gradio
python_version: 3.12.12
app_file: app.py
suggested_hardware: zero-a10g
license: mit
---
# PLSemanticsBench interactive demo
This Space powers the “Try it yourself” panel on the
[PLSemanticsBench project page](https://engineeringsoftware.github.io/PLSemanticsBench/).
It accepts a standard C* program, applies the selected benchmark intervention,
loads the corresponding formal semantics from the
[PLSemanticsBench dataset](https://huggingface.co/datasets/EngineeringSoftware/PLSemanticsBench),
and runs `Qwen/Qwen2.5-7B-Instruct` on ZeroGPU.
The named Gradio API endpoint is `/predict`.
|