Notice: The reproducibility variables underlying each score are classified using an automated LLM-based pipeline, validated against a manually labeled dataset. LLM-based classification introduces uncertainty and potential bias; scores should be interpreted as estimates. Full accuracy metrics and methodology are described in [1].

The Logic of Doxastic Strategies

Authors: Junli Jiang, Pavel Naumov

AAAI 2024 | Venue PDF | LLM Run Details

Reproducibility Variable Result LLM Response
Research Type Theoretical The main technical contribution is a sound and complete logical system that describes the interplay between doxastic strategy and belief modalities.
Researcher Affiliation Academia Junli Jiang,1 Pavel Naumov2 1 Institute of Logic and Intelligence, Southwest University, China 2 University of Southampton, United Kingdom
Pseudocode No The paper does not contain structured pseudocode or algorithm blocks.
Open Source Code No The paper does not provide concrete access to source code for the methodology described.
Open Datasets No The paper is theoretical and focuses on logical systems; it does not involve training on datasets or provide access information for any dataset.
Dataset Splits No The paper is theoretical and does not involve empirical validation on datasets, thus no dataset split information is provided.
Hardware Specification No The paper is theoretical and does not report on experiments requiring specific hardware specifications.
Software Dependencies No The paper is theoretical and does not mention specific software dependencies with version numbers for experimental replication.
Experiment Setup No The paper is theoretical and does not describe an experimental setup with hyperparameters or training configurations.