Experimental Results for Neuro-Symbolic RTL Abstraction Acceleration

A 13.8 KB Excel file contains detailed experimental results from the NeuroAbs research group, supporting a 2026 manuscript on LLM-guided hardware verification. It includes the data used to generate Figure 7 and Table 4 in the associated paper. The dataset was published on the figshare platform in April 2026.

Use Cases

• Analyze performance metrics from property checking experiments to compare abstraction techniques.
• Validate the acceleration claims in the NeuroAbs paper using the provided Figure 7 data points.
• Reproduce the results in Table 4, which likely compares runtime, accuracy, or other benchmarks.

Strengths

• Data is directly tied to a peer-reviewed research manuscript, providing verifiable context.
• Released under a permissive CC-BY-4.0 license, allowing for reuse with attribution.

Limitations

• Extremely small scale at 13.8 KB, indicating a limited set of summary results rather than raw experimental data.
• Column names and data structure are unspecified, requiring manual inspection of the XLSX file.
• Lacks sample data or a data dictionary, complicating immediate analysis.

Provenance

Source

NeuroAbs research group, published on figshare.

Collection Method

Collected from experiments described in the associated academic manuscript.

Freshness

Last updated in April 2026, indicating recent publication.