Lifted Symmetry Detection and Breaking for MAP Inference
Authors: Timothy Kopp, Parag Singla, Henry Kautz
NeurIPS 2015 | Conference PDF | Archive PDF | Plain Text | 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 tkopp@cs.rochester.edu; Parag Singla I.I.T. Delhi Hauz Khas, New Delhi parags@cse.iitd.ac.in; Henry Kautz University of Rochester Rochester, NY kautz@cs.rochester.edu |
| 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. |