wentingzhao/proofwriter
Logical ReasoningAutomated Theorem Generation
The proofwriter dataset includes training, validation, and test splits, each with corresponding file paths and statistics. Features include facts, rules, question, answer, depth, length, used_facts, and used_rules.
Source hugging_faceUpdated Feb 27, 2024178 viewsLinked
Inspect dataset