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.

Complexity Results for Compressing Optimal Paths

Authors: Adi Botea, Ben Strasser, Daniel Harabor

AAAI 2015 | Venue PDF | LLM Run Details | Input Tokens: 16,559 Total number of tokens sent to the LLM as input for this paper's analysis. | Output Tokens: 5,049 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 Our results give a first theoretical underpinning to the problem of creating space-efficient CPDs using RLE.
Researcher Affiliation Collaboration Adi Botea IBM Research Ireland Ben Strasser Karlsruhe Institute of Technology Germany Daniel Harabor NICTA Australia
Pseudocode No No pseudocode or algorithm blocks were found in the paper.
Open Source Code No The paper is theoretical and does not mention any release of source code.
Open Datasets No The paper is theoretical and does not involve datasets or training.
Dataset Splits No The paper is theoretical and does not involve datasets or validation splits.
Hardware Specification No The paper is theoretical and does not describe any hardware used for experiments.
Software Dependencies No The paper is theoretical and does not specify software dependencies with version numbers for experimental reproducibility.
Experiment Setup No The paper is theoretical and does not describe experimental setup details or hyperparameters.