clever
收藏kaggle2024-02-15 更新2024-06-22 收录
下载链接：
https://www.kaggle.com/datasets/mohitbamaniya/clever
下载链接
链接失效反馈官方服务：
资源简介：
应用场景：
创建时间：
2024-02-11
相关数据集
CLEVER
The CLEVER dataset is a dataset for video reasoning, where videos are presented to the model, along with a set of related questions, and the model's outputs are the answers to these questions.
DataCite Commons2026-01-07 更新70
CLEVER
CLEVER是一个高质量的精选基准，包含161个编程任务，用于在Lean中生成端到端验证代码。每个问题都包括生成与保留的真实规范匹配的规范的任务，以及生成证明满足此规范的Lean实现的任务。与以前的基准不同，CLEVER避免了测试用例监督、LLM生成的注释以及可能泄露实现逻辑或允许空解决方案的规范。所有输出都使用Lean的类型检查器进行后验验证，以确保机器可检查的正确性。CLEVER用于评估基于最
arXiv2025-05-20 更新470
Trhoňa - Clever
Energie, nutriční hodnoty, vitamíny a minerální látky v potravině Trhoňa - Clever a v dalších více než 200 000 potravinách. Ulož si Trhoňa - Clever do svého jídelníčku zdarma.
kaloricketabulky.cz30
Clever
该数据集是一个高质量、精心筛选的基准，包含了161个问题，旨在推动_Lean_编程语言中的端到端验证代码生成。每个问题都要求生成一个规范说明以及一个满足该规范的_Lean_实现，并通过_Lean_的类型检查器来验证输出结果。此外，该基准设计避免了测试用例的监督，确保输出结果是事后验证的，从而使其成为程序合成和形式推理领域的挑战性前沿基准。任务内容为端到端的验证代码生成。
arXiv80
Frankfurter Clever
Energie, nutriční hodnoty, vitamíny a minerální látky v potravině Frankfurter Clever a v dalších více než 200 000 potravinách. Ulož si Frankfurter Clever do svého jídelníčku zdarma.
kaloricketabulky.cz50
