Human-reviewed, validated (Natural Language ↔ MeTTa) pairs from the MeTTa-NL Corpus pipeline. Each row was manually reviewed and confirmed correct by a human annotator, as opposed to the silver dataset which is LLM-generated and only algorithmically validated.
premise / hypothesis: natural language sentence pair (SNLI-derived)
label: entailment / neutral / contradiction
mettaPremise / mettaHypothesis: the corresponding MeTTa symbolic expressions… See the full description on the dataset page:
https://huggingface.co/datasets/JungeWerther/metta-nl-corpus-gold.