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..
Lifted Symmetry Detection and Breaking for MAP Inference
Authors: Timothy Kopp, Parag Singla, Henry Kautz
NeurIPS 2015 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Experimental | We demonstrate the effectiveness of these techniques through experiments in two relational domains. |
| Researcher Affiliation | Academia | Tim Kopp University of Rochester Rochester, NY EMAIL; Parag Singla I.I.T. Delhi Hauz Khas, New Delhi EMAIL; Henry Kautz University of Rochester Rochester, NY EMAIL |
| Pseudocode | No | The paper describes algorithms verbally but does not provide structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper mentions 'Alchemy-22' and provides a link (https://code.google.com/p/alchemy-2/), but this refers to a third-party tool used in experiments, not the authors' own implementation code. |
| Open Datasets | No | The paper describes problem setups like the 'pigeonhole problem' and 'Advisor domain' which are instantiated, but it does not provide access information (links, DOIs, formal citations with authors/year, or repository names) for publicly available datasets. |
| Dataset Splits | No | The paper defines the problem instances by parameters such as #Pigeon, #Prof, #Student, but it does not specify explicit training, validation, or test dataset splits (e.g., percentages, sample counts, or references to predefined splits). |
| Hardware Specification | Yes | All the experiments were run on a system with a 2.2GHz Xeon processor and 62GB of memory. |
| Software Dependencies | No | The paper mentions using 'Mini Max SAT [15]', 'Open-WBO [19]', 'Sat4j [17]', 'Rock It [26]', 'PTP algorithm [14]', and 'Max Walk SAT algorithm used by Alchemy-22', but does not specify version numbers for these software components or libraries. |
| Experiment Setup | Yes | The MWS runs were allowed a varying number of flips and up to five restarts. For MWS, the reported results are with equal probability (0.5) of making a random or a greedy move; other settings were tried, and the results were similar. Both PTP and Rock It were run using the default setting of their parameters. |