Notice: This website is continuously updated as new conference proceedings and journal volumes are published. Consequently, the figures presented here may differ from those reported in our publications.
A brief overview of our methodology is provided on the Methods page, along with references to publications documenting our approach and links to the code and data used in each study.
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.
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 | Input Tokens: 27,276 Total number of tokens sent to the LLM as input for this paper's analysis. | Output Tokens: 2,642 Total number of tokens produced by the LLM (including reasoning/thinking tokens) for this paper's analysis.
| 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. |