logitorch.datasets.proof_qa.proofwriter_dataset

Attributes

Classes

FaiRRProofWriterDataset

ProofWriterDataset

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

Module Contents

class logitorch.datasets.proof_qa.proofwriter_dataset.FaiRRProofWriterDataset(dataset_name: str, split_set: str, open_world_assumption: bool = False)[source]
class logitorch.datasets.proof_qa.proofwriter_dataset.ProofWriterDataset(dataset_name: str, split_set: str, task: str, open_world_assumption: bool = False)[source]

Bases: logitorch.datasets.base.AbstractProofQADataset

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

logitorch.datasets.proof_qa.proofwriter_dataset.PROOFWRITER_DATASET = 'proofwriter_dataset'[source]
logitorch.datasets.proof_qa.proofwriter_dataset.PROOFWRITER_DATASET_FOLDER = '/logitorch_datasets/proofwriter_dataset'[source]
logitorch.datasets.proof_qa.proofwriter_dataset.PROOFWRITER_DATASET_ZIP_URL = 'https://www.dropbox.com/s/5dpm2yjcm5h9hsd/proofwriter_dataset.zip?dl=1'[source]
logitorch.datasets.proof_qa.proofwriter_dataset.PROOFWRITER_ID_TO_LABEL[source]
logitorch.datasets.proof_qa.proofwriter_dataset.PROOFWRITER_LABEL_TO_ID[source]
logitorch.datasets.proof_qa.proofwriter_dataset.PROOFWRITER_SUB_DATASETS = ['birds-electricity', 'depth-0', 'depth-1', 'depth-2', 'depth-3', 'depth-3ext',...[source]
logitorch.datasets.proof_qa.proofwriter_dataset.PROOFWRITER_TASKS = ['proof_generation_all', 'proof_generation_iter', 'implication_enumeration', 'abduction'][source]