Notice: This website is continuously updated as new conference proceedings and journal volumes are published. Consequently, the figures presented here may differ from those reported in our publications.
A brief overview of our methodology is provided on the Methods page, along with references to publications documenting our approach and links to the code and data used in each study.
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.
Shhh! The Logic of Clandestine Operations
Authors: Pavel Naumov, Oliver Orejola
IJCAI 2023 | Venue PDF | LLM Run Details | Input Tokens: 16,820 Total number of tokens sent to the LLM as input for this paper's analysis. | Output Tokens: 3,005 Total number of tokens produced by the LLM (including reasoning/thinking tokens) for this paper's analysis.
| 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. |