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

@inproceedings{aaai2017_deepfix_105700,
  title = {{DeepFix: Fixing Common C Language Errors by Deep Learning}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2017},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/10742},
}

@inproceedings{neurips2020_unsupervised_61061,
  title = {{Unsupervised Translation of Programming Languages}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2020},
  url = {https://nips.cc/virtual/2020/poster/17832},
}

@inproceedings{aaai2019_automatic_101705,
  title = {{Automatic Code Review by Learning the Revision of Source Code}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2019},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/4420},
}

@inproceedings{neurips2021_computer_63592,
  title = {{Computer-Aided Design as Language}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2021},
  url = {https://nips.cc/virtual/2021/poster/26768},
}

@inproceedings{aaai2022_multilingual_2447,
  title = {{Multilingual Code Snippets Training for Program Translation}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2022},
  url = {https://aaai.org/papers/11783-multilingual-code-snippets-training-for-program-translation/},
}

@inproceedings{aaai2017_automated_101092,
  title = {{Automated Data Extraction Using Predictive Program Synthesis}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2017},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/10668},
}

@inproceedings{neurips2019_neural_58661,
  title = {{Neural Attribution for Semantic Bug-Localization in Student Programs}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2019},
  url = {https://nips.cc/virtual/2019/poster/14161},
}

@inproceedings{iclr2023_docprompting_32767,
  title = {{DocPrompting: Generating Code by Retrieving the Docs}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2023},
  url = {https://iclr.cc/virtual/2023/poster/11358},
}

@inproceedings{iclr2017_learning_28354,
  title = {{Learning to superoptimize programs}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2017},
  url = {https://openreview.net/forum?id=r1rz6U5lg},
}

@inproceedings{aaai2018_disjunctive_101107,
  title = {{Disjunctive Program Synthesis: A Robust Approach to Programming by Example}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2018},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/11530},
}

@inproceedings{neurips2024_iac_70673,
  title = {{IaC-Eval: A Code Generation Benchmark for Cloud Infrastructure-as-Code Programs}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/97835},
}

@inproceedings{aaai2020_grammar_100654,
  title = {{Grammar Filtering for Syntax-Guided Synthesis}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2020},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/5522},
}

@inproceedings{aaai2023_probabilistic_4417,
  title = {{Probabilistic Programs as an Action Description Language}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2023},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/26790},
}

@inproceedings{neurips2024_detikzify_72937,
  title = {{DeTikZify: Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/94474},
}

@inproceedings{neurips2024_discovery_74392,
  title = {{Discovery of the Hidden World with Large Language Models}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/93175},
}

@inproceedings{aaai2022_from_2128,
  title = {{From Actions to Programs as Abstract Actual Causes}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2022},
  url = {https://aaai.org/papers/05470-from-actions-to-programs-as-abstract-actual-causes/},
}

@inproceedings{icml2023_outline_42552,
  title = {{Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2023},
  url = {https://icml.cc/virtual/2023/poster/25091},
}

@inproceedings{aaai2023_modeling_4179,
  title = {{Modeling Strategies as Programs: How to Study Strategy Differences in Intelligent Systems with Program Synthesis}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2023},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/26915},
}

@inproceedings{cvpr2025_disciple_25926,
  title = {{DiSciPLE: Learning Interpretable Programs for Scientific Visual Discovery}},
  booktitle = {IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)},
  year = {2025},
  url = {https://cvpr.thecvf.com/virtual/2025/poster/32484},
}

@inproceedings{iclr2024_guess_35340,
  title = {{Guess \& Sketch: Language Model Guided Transpilation}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2024},
  url = {https://iclr.cc/virtual/2024/poster/17733},
}

@inproceedings{iclr2024_generating_35676,
  title = {{Generating Pragmatic Examples to Train Neural Program Synthesizers}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2024},
  url = {https://iclr.cc/virtual/2024/poster/17397},
}

@inproceedings{icml2024_learning_45494,
  title = {{Learning to Compile Programs to Neural Networks}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2024},
  url = {https://icml.cc/virtual/2024/poster/32957},
}

@inproceedings{icml2025_editlord_46536,
  title = {{EditLord: Learning Code Transformation Rules for Code Editing}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2025},
  url = {https://icml.cc/virtual/2025/poster/46032},
}

@inproceedings{icml2025_cursorcore_47717,
  title = {{CursorCore: Assist Programming through Aligning Anything}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2025},
  url = {https://icml.cc/virtual/2025/poster/44883},
}

@inproceedings{icml2026_gift_51366,
  title = {{GIFT: Bootstrapping Image-to-CAD Program Synthesis via Geometric Feedback}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2026},
  url = {https://openreview.net/forum?id=LShQYeeop5},
}

@inproceedings{iclr2026_refinestat_86644,
  title = {{RefineStat: Efficient Exploration for Probabilistic Program Synthesis}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2026},
  url = {https://openreview.net/forum?id=SAl337ZX5d},
}

@inproceedings{icml2026_prm_51479,
  title = {{PRM-PBE: Process Reward Model for Reinforcement Learning in Programming-by-Example}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2026},
  url = {https://openreview.net/forum?id=MjjdkgK62z},
}

@inproceedings{icml2026_one_54411,
  title = {{One Bug, Hundreds Behind: LLMs for Large-Scale Bug Discovery}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2026},
  url = {https://openreview.net/forum?id=oiiXZJaODI},
}

@inproceedings{icml2026_absint_54447,
  title = {{ABSINT-AI: Agentic Heap Abstractions for Abstract Interpretation}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2026},
  url = {https://openreview.net/forum?id=ozu9ZRETYE},
}