# SVA Generation on FVEval Design2SVA (FSM Designs) Source: [SVA Generation on FVEval Design2SVA (FSM Designs)]() Collection index: [llms.txt]() Data updated: 2026-04-28T07:30:22.294Z Evaluation of model performance on the FVEval Design2SVA (FSM Designs) dataset for SVA Generation tasks, measured using functional metrics like Func@1 and Func@5. A research result applies to its stated dataset, split, metric and evaluation configuration. Compare like-for-like settings, preserve the metric's unit and direction, and distinguish paper-reported results from independent reproduction. The best result recorded here is not a claim of exhaustive, current global coverage. | Scope | Recorded value | | --- | --- | | Task | SVA Generation | | Dataset (including any stated split) | FVEval Design2SVA (FSM Designs) | | Metric | Func@1 | | Unit | PERCENT | | Direction | Higher is better | | Results loaded | 7 of 7 | | Coverage | All results currently returned for this benchmark | Evaluation settings may differ between results. The original papers and recorded configurations are needed to establish comparability. A shared metric name alone does not establish an identical protocol. ## Metrics - [Func@1](): Higher is better; unit: PERCENT. - [Func@5](): Higher is better; unit: PERCENT. ## Recorded results | Method | Func@1 | Result date | Report paper | | --- | --- | --- | --- | | ProofLoop | 86 | Not recorded | 69f03f1b55a3c32af89fa0d6 | | Gemini-1.5-Pro | 42.7 | Not recorded | 69f03f1b55a3c32af89fa0d6 | | GPT-4o | 37.3 | Not recorded | 69f03f1b55a3c32af89fa0d6 | | Llama-3.1-70B | 23.1 | Not recorded | 69f03f1b55a3c32af89fa0d6 | | Llama-3.1-8B | 12.1 | Not recorded | 69f03f1b55a3c32af89fa0d6 | | Gemini-1.5-Flash | 7.9 | Not recorded | 69f03f1b55a3c32af89fa0d6 | | Mixtral-8x22B | 5.4 | Not recorded | 69f03f1b55a3c32af89fa0d6 | ### ProofLoop Func@1: 86. Result ID: 69f0620647f34ce924d5e5fa. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"Backbone":"Qwen3.5-35B"}. This record does not assert independent reproduction. ### Gemini-1.5-Pro Func@1: 42.7. Result ID: 69f0620647f34ce924d5e5f5. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction. ### GPT-4o Func@1: 37.3. Result ID: 69f0620647f34ce924d5e5f4. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction. ### Llama-3.1-70B Func@1: 23.1. Result ID: 69f0620647f34ce924d5e5f8. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction. ### Llama-3.1-8B Func@1: 12.1. Result ID: 69f0620647f34ce924d5e5f9. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction. ### Gemini-1.5-Flash Func@1: 7.9. Result ID: 69f0620647f34ce924d5e5f6. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction. ### Mixtral-8x22B Func@1: 5.4. Result ID: 69f0620647f34ce924d5e5f7. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction. Page 1 of 1. This is an index page, not the full collection.