GamePad Environment
收藏OpenDataLab2026-05-24 更新2024-05-09 收录
下载链接：
https://opendatalab.org.cn/OpenDataLab/GamePad_Environment
下载链接
链接失效反馈官方服务：
资源简介：
GamePad，可用于探索将机器学习方法应用于 Coq 证明助手中的定理证明。
提供机构：
OpenDataLab
创建时间：
2022-06-07
搜集汇总
数据集介绍
背景与挑战
背景概述
GamePad Environment是一个用于探索机器学习在Coq证明助手中定理证明应用的数据集。它由加州大学伯克利分校于2018年发布，相关资源包括GitHub仓库和arXiv论文。
以上内容由遇见数据集搜集并总结生成
