logitorch.datasets.proof_qa.proofwriter_dataset
===============================================

.. py:module:: logitorch.datasets.proof_qa.proofwriter_dataset


Attributes
----------

.. autoapisummary::

   logitorch.datasets.proof_qa.proofwriter_dataset.PROOFWRITER_DATASET
   logitorch.datasets.proof_qa.proofwriter_dataset.PROOFWRITER_DATASET_FOLDER
   logitorch.datasets.proof_qa.proofwriter_dataset.PROOFWRITER_DATASET_ZIP_URL
   logitorch.datasets.proof_qa.proofwriter_dataset.PROOFWRITER_ID_TO_LABEL
   logitorch.datasets.proof_qa.proofwriter_dataset.PROOFWRITER_LABEL_TO_ID
   logitorch.datasets.proof_qa.proofwriter_dataset.PROOFWRITER_SUB_DATASETS
   logitorch.datasets.proof_qa.proofwriter_dataset.PROOFWRITER_TASKS


Classes
-------

.. autoapisummary::

   logitorch.datasets.proof_qa.proofwriter_dataset.FaiRRProofWriterDataset
   logitorch.datasets.proof_qa.proofwriter_dataset.ProofWriterDataset


Module Contents
---------------

.. py:class:: FaiRRProofWriterDataset(dataset_name: str, split_set: str, open_world_assumption: bool = False)

.. py:class:: ProofWriterDataset(dataset_name: str, split_set: str, task: str, open_world_assumption: bool = False)

   Bases: :py:obj:`logitorch.datasets.base.AbstractProofQADataset`


   Helper class that provides a standard way to create an ABC using
   inheritance.


.. py:data:: PROOFWRITER_DATASET
   :value: 'proofwriter_dataset'


.. py:data:: PROOFWRITER_DATASET_FOLDER
   :value: '/logitorch_datasets/proofwriter_dataset'


.. py:data:: PROOFWRITER_DATASET_ZIP_URL
   :value: 'https://www.dropbox.com/s/5dpm2yjcm5h9hsd/proofwriter_dataset.zip?dl=1'


.. py:data:: PROOFWRITER_ID_TO_LABEL

.. py:data:: PROOFWRITER_LABEL_TO_ID

.. py:data:: PROOFWRITER_SUB_DATASETS
   :value: ['birds-electricity', 'depth-0', 'depth-1', 'depth-2', 'depth-3', 'depth-3ext',...


.. py:data:: PROOFWRITER_TASKS
   :value: ['proof_generation_all', 'proof_generation_iter', 'implication_enumeration', 'abduction']