Reasoning with Style
Authors: Marti Bosch, Pierre Geneves, Nabil Layaida
IJCAI 2015 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Experimental | We implemented a prototype that has been extensively tested with popular web sites (such as Google Sites, CNN, Apple, etc.). We show that significant size reduction can be obtained while preserving the code readability and improving maintainability. We report on experimental results with CSS of popular web sites (such as Google Sites, CNN, Apple, etc.) in Section 5. |
| Researcher Affiliation | Academia | Mart ı Bosch Universitat Polit ecnica de Catalunya Pierre Genev es CNRS, LIG Nabil Laya ıda |
| Pseudocode | Yes | Procedure 1: Sb Sp with Sp preferred over Sb foreach di in db p do delete di from Sb end. Procedure 2: Sb Sp with Sb preferred over Sp foreach di in db p do if di sets the same value under both Sb and Sp then delete di from Sb end end |
| Open Source Code | No | The paper does not provide any concrete access information (e.g., a specific repository link, an explicit code release statement, or code in supplementary materials) for the source code of the methodology described. |
| Open Datasets | No | The paper uses "real-world style sheets used in some of the most popular web sites" (Table 1 and Table 2). While the websites are listed, no specific links, DOIs, repositories, or formal citations are provided for the datasets (CSS files) used in the experiments to make them publicly accessible. |
| Dataset Splits | No | The paper describes experiments on datasets (CSS files from websites) but does not provide specific details on how these datasets were split into training, validation, or test sets. It mentions a "dataset for the experiments" but not its partitioning. |
| Hardware Specification | No | The paper does not provide specific hardware details (e.g., exact GPU/CPU models, processor types with speeds, memory amounts, or detailed computer specifications) used for running its experiments. |
| Software Dependencies | No | The paper mentions using "external calls to a logical satisfiability solver such as the one of [Genev es et al., 2007; Genev es et al., 2015]" but does not provide specific version numbers for this or any other software dependency necessary to replicate the experiments. |
| Experiment Setup | No | The paper describes the refactoring techniques and the modeling/analysis of selectors, but it does not provide specific experimental setup details such as concrete hyperparameter values, training configurations, or system-level settings for its prototype or experiments. |