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..
Formal Models of Active Learning from Contrastive Examples
Authors: Farnam Mansouri, Hans Simon, Adish Singla, Yuxin Chen, Sandra Zilles
NeurIPS 2025 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | Justification: This is a purely theoretical paper, without experiments. |
| Researcher Affiliation | Academia | Farnam Mansouri University of Waterloo EMAIL Hans U. Simon Ruhr-University Bochum EMAIL Adish Singla Max Planck Institute for Software Systems EMAIL Yuxin Chen University of Chicago EMAIL Sandra Zilles University of Regina and Amii EMAIL |
| Pseudocode | No | The paper does not contain any sections or figures explicitly labeled 'Pseudocode' or 'Algorithm', nor does it present structured steps in a code-like format. The content focuses on theoretical models, definitions, and proofs. |
| Open Source Code | No | Justification: This is a purely theoretical paper, without experiments. The paper does not include experiments requiring code. |
| Open Datasets | No | Justification: This is a purely theoretical paper, without experiments. The paper does not include experiments requiring code. |
| Dataset Splits | No | Justification: This is a purely theoretical paper, without experiments. The paper does not include experiments. |
| Hardware Specification | No | Justification: This is a purely theoretical paper, without experiments. |
| Software Dependencies | No | Justification: This is a purely theoretical paper, without experiments. The paper does not include experiments. |
| Experiment Setup | No | Justification: This is a purely theoretical paper, without experiments. |