# SVA Generation on FVEval Design2SVA Pipeline Designs Source: [SVA Generation on FVEval Design2SVA Pipeline Designs]() Collection index: [llms.txt]() Data updated: 2026-04-28T07:30:22.268Z Evaluation of model performance on the FVEval Design2SVA Pipeline Designs dataset for SVA Generation tasks, measured by 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 Pipeline 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 | 41.2 | Not recorded | 69f03f1b55a3c32af89fa0d6 | | Gemini-1.5-Pro | 17.5 | Not recorded | 69f03f1b55a3c32af89fa0d6 | | Llama-3.1-70B | 16.7 | Not recorded | 69f03f1b55a3c32af89fa0d6 | | Llama-3.1-8B | 15 | Not recorded | 69f03f1b55a3c32af89fa0d6 | | Mixtral-8x22B | 11.9 | Not recorded | 69f03f1b55a3c32af89fa0d6 | | GPT-4o | 10.4 | Not recorded | 69f03f1b55a3c32af89fa0d6 | | Gemini-1.5-Flash | 2.5 | Not recorded | 69f03f1b55a3c32af89fa0d6 | ### ProofLoop Func@1: 41.2. Result ID: 69f0620647f34ce924d5e5f3. [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: 17.5. Result ID: 69f0620647f34ce924d5e5ee. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction. ### Llama-3.1-70B Func@1: 16.7. Result ID: 69f0620647f34ce924d5e5f1. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction. ### Llama-3.1-8B Func@1: 15. Result ID: 69f0620647f34ce924d5e5f2. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction. ### Mixtral-8x22B Func@1: 11.9. Result ID: 69f0620647f34ce924d5e5f0. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction. ### GPT-4o Func@1: 10.4. Result ID: 69f0620647f34ce924d5e5ed. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction. ### Gemini-1.5-Flash Func@1: 2.5. Result ID: 69f0620647f34ce924d5e5ef. [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.