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

@inproceedings{neurips2018_deepproblog_57020,
  title = {{DeepProbLog:  Neural Probabilistic Logic Programming}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2018},
  url = {https://nips.cc/virtual/2018/poster/11374},
}

@inproceedings{iclr2023_decomposed_32803,
  title = {{Decomposed Prompting: A Modular Approach for Solving Complex Tasks}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2023},
  url = {https://iclr.cc/virtual/2023/poster/10871},
}

@inproceedings{iclr2024_large_33866,
  title = {{Large Language Models as Optimizers}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2024},
  url = {https://iclr.cc/virtual/2024/poster/19209},
}

@inproceedings{icml2017_programming_36349,
  title = {{Programming with a Differentiable Forth Interpreter}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2017},
  url = {https://icml.cc/virtual/2017/poster/809},
}

@inproceedings{iclr2020_neural_29915,
  title = {{Neural Symbolic Reader: Scalable Integration of Distributed and Symbolic Representations for Reading Comprehension}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2020},
  url = {https://openreview.net/forum?id=ryxjnREFwH},
}

@inproceedings{aaai2019_deep_100174,
  title = {{Deep Reinforcement Learning for Syntactic Error Repair in Student Programs}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2019},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/3882},
}

@inproceedings{iclr2020_neural_29715,
  title = {{Neural Module Networks for Reasoning over Text}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2020},
  url = {https://openreview.net/forum?id=SygWvAVFPr},
}

@inproceedings{neurips2019_program_58842,
  title = {{Program Synthesis and Semantic Parsing with Learned Code Idioms}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2019},
  url = {https://nips.cc/virtual/2019/poster/14085},
}

@inproceedings{icml2020_enhanced_38162,
  title = {{Enhanced POET: Open-ended Reinforcement Learning through Unbounded Invention of Learning Challenges and their Solutions}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2020},
  url = {https://icml.cc/virtual/2020/poster/6544},
}

@inproceedings{iclr2023_binding_33093,
  title = {{Binding Language Models in Symbolic Languages}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2023},
  url = {https://iclr.cc/virtual/2023/poster/10889},
}

@inproceedings{icml2019_learning_37504,
  title = {{Learning to Infer Program Sketches}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2019},
  url = {https://icml.cc/virtual/2019/poster/4065},
}

@inproceedings{neurips2020_learning_60157,
  title = {{Learning Compositional Rules via Neural Program Synthesis}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2020},
  url = {https://nips.cc/virtual/2020/poster/18270},
}

@inproceedings{icml2023_unifying_41668,
  title = {{Unifying Molecular and Textual Representations via Multi-task Language Modelling}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2023},
  url = {https://icml.cc/virtual/2023/poster/25264},
}

@inproceedings{aaai2017_neural_105692,
  title = {{Neural Programming by Example}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2017},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/10734},
}

@inproceedings{icml2020_mapping_38439,
  title = {{Mapping natural-language problems to formal-language solutions using structured neural representations}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2020},
  url = {https://icml.cc/virtual/2020/poster/6094},
}

@inproceedings{neurips2020_synthesize_60908,
  title = {{Synthesize, Execute and Debug: Learning to Repair for Neural Program Synthesis}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2020},
  url = {https://nips.cc/virtual/2020/poster/17147},
}

@inproceedings{aaai2021_gensynth_644,
  title = {{GENSYNTH: Synthesizing Datalog Programs without Language Bias}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2021},
  url = {https://aaai.org/papers/06444-gensynth-synthesizing-datalog-programs-without-language-bias/},
}

@inproceedings{neurips2020_instead_60095,
  title = {{Instead of Rewriting Foreign Code for Machine Learning, Automatically Synthesize Fast Gradients}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2020},
  url = {https://nips.cc/virtual/2020/poster/17428},
}

@inproceedings{aaai2018_tree_105909,
  title = {{Tree-Structured Neural Machine for Linguistics-Aware Sentence Generation}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2018},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/11969},
}

@inproceedings{aaai2022_compilation_1851,
  title = {{Compilation of Aggregates in ASP Systems}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2022},
  url = {https://aaai.org/papers/05834-compilation-of-aggregates-in-asp-systems/},
}

@inproceedings{iclr2025_chase_81282,
  title = {{CHASE-SQL: Multi-Path Reasoning and Preference Optimized Candidate Selection in Text-to-SQL}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2025},
  url = {https://iclr.cc/virtual/2025/poster/30489},
}

@inproceedings{aaai2024_from_6055,
  title = {{From Artificially Real to Real: Leveraging Pseudo Data from Large Language Models for Low-Resource Molecule Discovery}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/30198},
}

@inproceedings{aaai2024_generalized_6118,
  title = {{Generalized Planning for the Abstraction and Reasoning Corpus}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/29996},
}

@inproceedings{neurips2024_aces_71653,
  title = {{ACES: Generating a Diversity of Challenging Programming Puzzles with Autotelic Generative Models}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/95626},
}

@inproceedings{neurips2024_the_72284,
  title = {{The ALCHEmist: Automated Labeling 500x CHEaper than LLM Data Annotators}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/95061},
}

@inproceedings{aaai2024_exact_5886,
  title = {{Exact ASP Counting with Compact Encodings}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/28927},
}

@inproceedings{aaai2025_enhancing_8990,
  title = {{Enhancing SQL Query Generation with Neurosymbolic Reasoning}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/34198},
}

@inproceedings{iclr2024_lilo_34524,
  title = {{LILO: Learning Interpretable Libraries by Compressing and Documenting Code}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2024},
  url = {https://iclr.cc/virtual/2024/poster/18550},
}

@inproceedings{neurips2024_einsum_74240,
  title = {{Einsum Benchmark: Enabling the Development of Next-Generation Tensor Execution Engines}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/97464},
}

@inproceedings{neurips2025_partition_76895,
  title = {{Partition to Evolve: Niching-enhanced Evolution with LLMs for Automated Algorithm Discovery}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2025},
  url = {https://openreview.net/forum?id=OEawM2coNT},
}

@inproceedings{aaai2025_conceptsearch_8491,
  title = {{ConceptSearch: Towards Efficient Program Search Using LLMs for Abstraction and Reasoning Corpus (ARC)}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/34259},
}

@inproceedings{icml2024_codeit_44449,
  title = {{CodeIt: Self-Improving Language Models with Prioritized Hindsight Replay}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2024},
  url = {https://icml.cc/virtual/2024/poster/34003},
}

@inproceedings{iclr2025_planning_80734,
  title = {{Planning in Natural Language Improves LLM Search for Code Generation}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2025},
  url = {https://iclr.cc/virtual/2025/poster/31034},
}

@inproceedings{iclr2025_autobencher_84128,
  title = {{AutoBencher: Towards Declarative Benchmark Construction}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2025},
  url = {https://iclr.cc/virtual/2025/poster/27700},
}

@inproceedings{aaai2025_conceptsearch_8492,
  title = {{ConceptSearch: Towards Efficient Program Search Using LLMs for Abstraction and Reasoning Corpus (ARC) (Student Abstract)}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/35300},
}

@inproceedings{iclr2024_exedec_35256,
  title = {{ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2024},
  url = {https://iclr.cc/virtual/2024/poster/17817},
}

@inproceedings{icml2024_trove_43814,
  title = {{TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2024},
  url = {https://icml.cc/virtual/2024/poster/34638},
}

@inproceedings{icml2025_dolphin_45861,
  title = {{DOLPHIN: A Programmable Framework for Scalable Neurosymbolic Learning}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2025},
  url = {https://icml.cc/virtual/2025/poster/46682},
}

@inproceedings{icml2025_improving_46021,
  title = {{Improving Parallel Program Performance with LLM Optimizers via Agent-System Interfaces}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2025},
  url = {https://icml.cc/virtual/2025/poster/46525},
}