datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
aacr-bench
Dataset for Running AACR-Bench
English | 简体中文
This is a test set designed for automated code review reflection models, primarily aiming to evaluate the extent to which a model can intercept low-quality review comments. The dataset contains 2,145 code review comments, consisting of 1,505 expert-verified correct comments and 640 incorrect comments.
This data is part of the AACR-Bench project and is provided by the Alibaba Aone team.
Data Sample
Each sample in the… See the full description on the dataset page: https://huggingface.co/datasets/Alibaba-Aone/aacr-bench.genolator-v1-qa
Genolator V1 — Multimodal Gene Function QA
Question–answer pairs about human gene function, paired with precomputed embeddings of
three modalities per gene: the coding DNA sequence, the amino acid sequence, and the
predicted 3D protein structure. It is the dataset used to train and evaluate Genolator
V1, a model that projects those embeddings into the token embedding space of a
biomedical Llama-3 and answers questions about a gene without ever seeing its name or
its raw… See the full description on the dataset page: https://huggingface.co/datasets/CHGGM-Aachen/genolator-v1-qa.AACConversations
AAC Conversations Dataset
Dataset Description
The AAC Conversations Dataset is a collection of simulated conversations involving Augmentative and Alternative Communication (AAC) users across multiple languages. This dataset is designed to help researchers and developers build better assistive technologies for people who use AAC devices.
Dataset Summary
This dataset contains conversations between AAC users and communication partners in various scenarios. Each… See the full description on the dataset page: https://huggingface.co/datasets/willwade/AACConversations.Coq-AACTactics
Coq-AACTactics
Structured dataset from AAC Tactics — Rewriting modulo associativity and commutativity.
Source
Repository: https://github.com/coq-community/aac-tactics
Commit: 09523f9910891dcc2072f2b87fee658a62feb484
Files: 6
License: lgpl-3.0
Schema
Column
Type
Description
statement
string
Declaration signature/claim with the leading keyword removed (verbatim slice); the full declaration minus its proof
proof
string
Verbatim… See the full description on the dataset page: https://huggingface.co/datasets/phanerozoic/Coq-AACTactics.AAC_dataset_for_PREASM
Dataset Card for Dataset Name
Dataset Summary
This dataset card aims to be a base template for new datasets. It has been generated using this raw template.
Supported Tasks and Leaderboards
[More Information Needed]
Languages
[More Information Needed]
Dataset Structure
Data Instances
[More Information Needed]
Data Fields
[More Information Needed]
Data Splits
[More Information Needed]
Dataset Creation… See the full description on the dataset page: https://huggingface.co/datasets/Natasha222340/AAC_dataset_for_PREASM.