datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
APRIL
APRIL Dataset
Paper
Model & Dataset Download
Resource
Description
Link
APRIL Dataset
260K Lean proof-repair tuples with compiler diagnostics and explanations
uw-math-ai/APRIL
gAPRIL-w-exp
Goedel-8B finetuned on APRIL with joint explanation supervision
uw-math-ai/gAPRIL-w-exp
gAPRIL-wo-exp
Goedel-8B finetuned on APRIL for repair only (no explanations)
uw-math-ai/gAPRIL-wo-exp
Dataset Description
The APRIL dataset contains 258,103 examples of… See the full description on the dataset page: https://huggingface.co/datasets/batianxieshen/APRIL.dataset-batik-trl-sft
Dataset Batik TRL-SFT
Dataset percakapan berformat SFT (Supervised Fine-Tuning) untuk melatih model bahasa sebagai asisten pakar budaya Batik Nusantara. Digunakan untuk fine-tuning model Wastra.ai (berbasis Qwen2.5-1.5B-Instruct) pada proyek BatikLens.
Dataset Description
Dataset ini berisi lebih dari 3 juta contoh percakapan seputar batik Indonesia, mencakup topik:
Sejarah dan asal-usul batik di berbagai daerah
Filosofi dan makna motif batik (Parang, Kawung… See the full description on the dataset page: https://huggingface.co/datasets/maftuh-main/dataset-batik-trl-sft.