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 Coakley et alK. L. Coakley, T. Snelleman, H. Hoos, and O. E. Gundersen, "The embrace of open science: An analysis of a decade of AI research and 56 800 conference papers," Under Review, 2026..
Shhh! The Logic of Clandestine Operations
Authors: Pavel Naumov, Oliver Orejola
IJCAI 2023 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | The paper proposes a formal semantics of clandestine operations and introduces a sound and complete logical system that describes the interplay between the distributed knowledge modality and a modality capturing coalition power to conduct clandestine operations. |
| Researcher Affiliation | Academia | 1University of Southampton, United Kingdom 2Tulane University, United States |
| Pseudocode | No | The paper contains formal definitions, lemmas, and theorems but no pseudocode or algorithm blocks. |
| Open Source Code | No | This is a theoretical paper presenting a logical system, and there is no mention of releasing source code for the described methodology. |
| Open Datasets | No | The paper is theoretical and does not involve empirical experiments with datasets, so there is no mention of training data. |
| Dataset Splits | No | The paper is theoretical and does not involve empirical experiments with datasets, so there is no mention of dataset splits for validation. |
| Hardware Specification | No | The paper is theoretical and does not describe any computational experiments, so no hardware specifications are provided. |
| Software Dependencies | No | The paper describes a theoretical logical system and does not mention any software implementations or dependencies with specific version numbers. |
| Experiment Setup | No | The paper is theoretical and does not describe any empirical experiments, so there are no details about experimental setup or hyperparameters. |