Autoformer
收藏kaggle2023-12-15 更新2024-05-26 收录
下载链接：
https://www.kaggle.com/datasets/junhanzangai/autoformer
下载链接
链接失效反馈官方服务：
资源简介：
应用场景：
创建时间：
2023-12-15
相关数据集
autoformer
kaggle2023-12-01 更新00
Formal Math Autoformalization Dataset
Snapshot of machine-checked natural-language ↔ Lean 4 formalizations (193 verified pairs). Every pair compiles against a pinned Mathlib and passes a faithfulness check. Living dataset: https://hugging
Zenodo2026-06-26 更新00
formal-math-autoformalization
Formal Math Autoformalization Dataset（形式数学自动形式化数据集）是一个由Agentic Commons网络创建的开源数据集，专门用于数学自动形式化任务。该数据集包含自然语言描述的数学陈述与经过严格验证的Lean 4定理证明形式化代码的配对。每个数据对在发布前都通过了双重验证：1) 编译验证，确保Lean 4代码能在指定工具链和Mathlib版本下成功编译，且证
Hugging Face2026-06-20 更新10
Formal Math Autoformalization Dataset
Snapshot of machine-checked natural-language ↔ Lean 4 formalizations (193 verified pairs). Every pair compiles against a pinned Mathlib and passes a faithfulness check. Living dataset: https://hugging
Zenodo2026-06-26 更新10
Formal Math Autoformalization Dataset
Snapshot of machine-checked natural-language ↔ Lean 4 formalizations (92 verified pairs). Every pair compiles against a pinned Mathlib and passes a faithfulness check. Living dataset: https://huggingf
Zenodo2026-06-24 更新00
