% Key papers for Search for program synthesis (scime atlas, https://atlas.scime.ai). Authors are not included: add them from the paper pages.

@inproceedings{aaai2016_learning_104821,
  title = {{Learning to Branch in Mixed Integer Programming}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2016},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/10080},
}

@inproceedings{iclr2018_neural_28729,
  title = {{Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2018},
  url = {https://iclr.cc/virtual/2018/poster/141},
}

@inproceedings{neurips2019_write_59207,
  title = {{Write, Execute, Assess: Program Synthesis with a REPL}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2019},
  url = {https://nips.cc/virtual/2019/poster/13958},
}

@inproceedings{neurips2018_learning_57288,
  title = {{Learning Loop Invariants for Program Verification}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2018},
  url = {https://nips.cc/virtual/2018/poster/11744},
}

@inproceedings{neurips2019_learning_58488,
  title = {{Learning Local Search Heuristics for Boolean Satisfiability}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2019},
  url = {https://nips.cc/virtual/2019/poster/13874},
}

@inproceedings{iclr2018_towards_28625,
  title = {{Towards Synthesizing Complex Programs From Input-Output Examples}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2018},
  url = {https://iclr.cc/virtual/2018/poster/269},
}

@inproceedings{cvpr2019_transferable_14943,
  title = {{Transferable AutoML by Model Sharing Over Grouped Datasets}},
  booktitle = {IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)},
  year = {2019},
}

@inproceedings{aaai2018_neural_105956,
  title = {{Neural Machine Translation with Gumbel-Greedy Decoding}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2018},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/12016},
}

@inproceedings{icml2016_learning_35886,
  title = {{Learning Simple Algorithms from Examples}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2016},
  url = {https://proceedings.mlr.press/v48/zaremba16.html},
}

@inproceedings{neurips2022_simulation_66225,
  title = {{Simulation-guided Beam Search for Neural Combinatorial Optimization}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2022},
  url = {https://nips.cc/virtual/2022/poster/54936},
}

@inproceedings{aaai2020_synthesizing_102134,
  title = {{Synthesizing Action Sequences for Modifying Model Decisions}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2020},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/5996},
}

@inproceedings{aaai2016_towards_104803,
  title = {{Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2016},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/10062},
}

@inproceedings{aaai2019_improving_100201,
  title = {{Improving Search with Supervised Learning in Trick-Based Card Games}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2019},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/3909},
}

@inproceedings{neurips2019_spoc_58932,
  title = {{SPoC: Search-based Pseudocode to Code}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2019},
  url = {https://nips.cc/virtual/2019/poster/14163},
}

@inproceedings{aaai2022_learning_2323,
  title = {{Learning Logic Programs Though Divide, Constrain, and Conquer}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2022},
  url = {https://aaai.org/papers/06446-learning-logic-programs-though-divide-constrain-and-conquer/},
}

@inproceedings{aaai2022_scaling_2699,
  title = {{Scaling Neural Program Synthesis with Distribution-Based Search}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2022},
  url = {https://aaai.org/papers/06623-scaling-neural-program-synthesis-with-distribution-based-search/},
}

@inproceedings{neurips2022_learning_64220,
  title = {{Learning to Configure Computer Networks with Neural Algorithmic Reasoning}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2022},
  url = {https://nips.cc/virtual/2022/poster/53170},
}

@inproceedings{aaai2019_stepping_101047,
  title = {{Stepping Stones to Inductive Synthesis of Low-Level Looping Programs}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2019},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/4076},
}

@inproceedings{iclr2021_representing_30610,
  title = {{Representing Partial Programs with Blended Abstract Semantics}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2021},
  url = {https://iclr.cc/virtual/2021/poster/3184},
}

@inproceedings{aaai2023_electrophysiological_3559,
  title = {{Electrophysiological Brain Source Imaging via Combinatorial Search with Provable Optimality}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2023},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/26471},
}

@inproceedings{aaai2024_program_6998,
  title = {{Program Synthesis with Best-First Bottom-Up Search (Abstract Reprint)}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/30591},
}

@inproceedings{aaai2025_eco_8889,
  title = {{Eco Search: A No-delay Best-First Search Algorithm for Program Synthesis}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/34139},
}

@inproceedings{icml2025_autoal_47435,
  title = {{AutoAL: Automated Active Learning with Differentiable Query Strategy Search}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2025},
  url = {https://icml.cc/virtual/2025/poster/45158},
}

@inproceedings{icml2026_guaranteed_51450,
  title = {{Guaranteed Optimal Compositional Explanations for Neurons}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2026},
  url = {https://openreview.net/forum?id=MHiiwC3oFR},
}

@inproceedings{iclr2025_learning_83886,
  title = {{Learning to Search from Demonstration Sequences}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2025},
  url = {https://iclr.cc/virtual/2025/poster/27934},
}