官方服务：
资源简介：
FV book errata
应用场景：
创建时间：
2024-01-31
相关数据集
FVEval
该数据集名为FVEval，是首个全面评估框架，旨在表征大型语言模型（LLM）在数字硬件设计中的形式验证（FV）相关任务上的性能。该基准测试包含了生成SystemVerilog断言和对设计寄存器传输级（RTL）进行推理的任务，并提供全面和部分功能等价的度量标准。该数据集涵盖了广泛现有的LLM，包括专有和开源模型。其任务之一是评估语言模型根据自然语言描述生成SystemVerilog断言的能力。
arXiv280
Geoint
### Dataset Summary **Geoint** is a comprehensive benchmark dataset explicitly designed for formal geometric problemsolving. Geoint encompasses 1,885 carefully curated geometric questions across
魔搭社区2025-12-05 更新210
SFT_Dataset
DiffLean SFT 数据集是一个用于在 Lean 4 中对形式化定理证明器进行监督微调的合成数据集。该数据集包含 656,160 个数学问题示例，每个问题都配有形式化陈述和经过验证的 Lean 4 形式化证明。数据集包含六个字段：问题（自然语言描述的数学问题）、来源（原始数据集，如 dart-math-hard）、形式化陈述（Lean 4 形式化陈述）、问题类型（如代数等类别）、形式化证明（
Hugging Face2026-03-18 更新260
