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..
ATL Strategic Reasoning Meets Correlated Equilibrium
Authors: Xiaowei Huang, Ji Ruan
IJCAI 2017 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Experimental | We implement a prototype model checker for CE-based strategic reasoning (which also includes usual ATL strategic reasoning), and thus all the results in our running examples have been formally veri๏ฌed. |
| Researcher Affiliation | Academia | 1School of Computing and Digital Technology, Birmingham City University, United Kingdom 2Department of Computer Science, Auckland University of Technology, New Zealand {EMAIL, EMAIL} |
| Pseudocode | No | The paper defines mathematical formulations and equations (e.g., for Correlated Equilibrium and optimization problems) but does not contain a structured pseudocode or algorithm block. |
| Open Source Code | Yes | We implemented the proposed framework into a prototype software model checker5. 5https://gitlab.com/xiaowei.huang/rationality. |
| Open Datasets | No | The paper analyzes "running examples" of a Google car accident scenario. It does not mention using or providing access to any publicly available or open datasets for its analysis or verification. |
| Dataset Splits | No | The paper does not specify any dataset splits (e.g., train/validation/test percentages or counts) or mention cross-validation methods. Its analysis is based on theoretical models and running examples rather than empirical dataset validation splits. |
| Hardware Specification | No | The paper does not provide any specific details about the hardware used for running the implemented model checker or verifying the examples. |
| Software Dependencies | No | The paper mentions "a linear constraint solver in Sci Py library" but does not specify its version number. It also mentions "reactive modules" as a language for describing systems, but this is not a specific software with a version for reproducibility. |
| Experiment Setup | No | The paper does not provide specific experimental setup details such as hyperparameter values, training configurations, or system-level settings. It focuses on the theoretical framework and its implementation, with examples being verified by the tool. |