% Key papers for Neural-symbolic reasoning (scime atlas, https://atlas.scime.ai). Authors are not included: add them from the paper pages.

@inproceedings{icml2016_meta_35901,
  title = {{Meta-Learning with Memory-Augmented Neural Networks}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2016},
  url = {https://proceedings.mlr.press/v48/santoro16.html},
}

@inproceedings{aaai2018_dynamic_102363,
  title = {{Dynamic Deep Neural Networks: Optimizing Accuracy-Efficiency Trade-Offs by Selective Execution}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2018},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/11630},
}

@inproceedings{iclr2019_attention_28851,
  title = {{Attention, Learn to Solve Routing Problems!}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2019},
  url = {https://iclr.cc/virtual/2019/poster/1049},
}

@inproceedings{icml2017_the_36425,
  title = {{The Predictron: End-To-End Learning and Planning}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2017},
  url = {https://icml.cc/virtual/2017/poster/707},
}

@inproceedings{iclr2018_compositional_28579,
  title = {{Compositional Attention Networks for Machine Reasoning}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2018},
  url = {https://iclr.cc/virtual/2018/poster/59},
}

@inproceedings{icml2017_robustfill_36376,
  title = {{RobustFill: Neural Program Learning under Noisy I/O}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2017},
  url = {https://icml.cc/virtual/2017/poster/661},
}

@inproceedings{iclr2017_hypernetworks_28380,
  title = {{HyperNetworks}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2017},
  url = {https://openreview.net/forum?id=rkpACe1lx},
}

@inproceedings{neurips2017_dynamic_56274,
  title = {{Dynamic Routing Between Capsules}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2017},
  url = {https://nips.cc/virtual/2017/poster/9167},
}

@inproceedings{iclr2017_learning_28293,
  title = {{Learning End-to-End Goal-Oriented Dialog}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2017},
  url = {https://openreview.net/forum?id=S1Bb3D5gg},
}

@inproceedings{iclr2020_neural_29744,
  title = {{Neural Oblivious Decision Ensembles for Deep Learning on Tabular Data}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2020},
  url = {https://openreview.net/forum?id=r1eiu2VtwH},
}

@inproceedings{iclr2019_execution_28877,
  title = {{Execution-Guided Neural Program Synthesis}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2019},
  url = {https://iclr.cc/virtual/2019/poster/760},
}

@inproceedings{icml2019_satnet_37710,
  title = {{SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2019},
  url = {https://icml.cc/virtual/2019/poster/3947},
}

@inproceedings{aaai2022_neuro_2468,
  title = {{Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2022},
  url = {https://aaai.org/papers/08212-neuro-symbolic-inductive-logic-programming-with-logical-neural-networks/},
}

@inproceedings{icml2020_learning_38404,
  title = {{Learning to Branch for Multi-Task Learning}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2020},
  url = {https://icml.cc/virtual/2020/poster/6596},
}

@inproceedings{neurips2018_automatic_56881,
  title = {{Automatic Program Synthesis of Long Programs with a Learned Garbage Collector}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2018},
  url = {https://nips.cc/virtual/2018/poster/11221},
}

@inproceedings{aaai2020_predicting_101873,
  title = {{Predicting Propositional Satisfiability via End-to-End Learning}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2020},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/5733},
}

@inproceedings{neurips2020_compositional_59559,
  title = {{Compositional Generalization by Learning Analytical Expressions}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2020},
  url = {https://nips.cc/virtual/2020/poster/17008},
}

@inproceedings{iclr2021_towards_30167,
  title = {{Towards Impartial Multi-task Learning}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2021},
  url = {https://iclr.cc/virtual/2021/poster/2894},
}

@inproceedings{aaai2021_interpreting_804,
  title = {{Interpreting Neural Networks as Quantitative Argumentation Frameworks}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2021},
  url = {https://aaai.org/papers/06463-interpreting-neural-networks-as-quantitative-argumentation-frameworks/},
}

@inproceedings{neurips2018_learning_57323,
  title = {{Learning to Reason with Third Order Tensor Products}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2018},
  url = {https://nips.cc/virtual/2018/poster/11947},
}

@inproceedings{neurips2025_nested_79264,
  title = {{Nested Learning: The Illusion of Deep Learning Architectures}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2025},
  url = {https://openreview.net/forum?id=nbMeRvNb7A},
}

@inproceedings{aaai2024_end_5832,
  title = {{End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/28757},
}

@inproceedings{neurips2024_amortized_72633,
  title = {{Amortized Planning with Large-Scale Transformers: A Case Study on Chess}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/94747},
}

@inproceedings{neurips2024_a_73928,
  title = {{A Walsh Hadamard Derived Linear Vector Symbolic Architecture}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/93583},
}

@inproceedings{neurips2024_identifying_70711,
  title = {{Identifying Functionally Important Features with End-to-End Sparse Dictionary Learning}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/96413},
}

@inproceedings{cvpr2025_end_26126,
  title = {{End-to-End Implicit Neural Representations for Classification}},
  booktitle = {IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)},
  year = {2025},
  url = {https://cvpr.thecvf.com/virtual/2025/poster/33627},
}

@inproceedings{aaai2024_bait_5247,
  title = {{BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/28931},
}

@inproceedings{neurips2024_discrete_71849,
  title = {{Discrete Dictionary-based Decomposition Layer for Structured Representation Learning}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/95451},
}

@inproceedings{icml2024_neuro_43978,
  title = {{Neuro-Symbolic Temporal Point Processes}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2024},
  url = {https://icml.cc/virtual/2024/poster/34474},
}

@inproceedings{icml2024_learning_44118,
  title = {{Learning Linear Block Error Correction Codes}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2024},
  url = {https://icml.cc/virtual/2024/poster/34334},
}

@inproceedings{icml2024_grokking_45067,
  title = {{Grokking Group Multiplication with Cosets}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2024},
  url = {https://icml.cc/virtual/2024/poster/33385},
}

@inproceedings{icml2025_improving_46343,
  title = {{Improving Memory Efficiency for Training KANs via Meta Learning}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2025},
  url = {https://icml.cc/virtual/2025/poster/46218},
}

@inproceedings{icml2025_ibcircuit_46389,
  title = {{IBCircuit: Towards Holistic Circuit Discovery with Information Bottleneck}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2025},
  url = {https://icml.cc/virtual/2025/poster/46175},
}

@inproceedings{icml2026_rethink_50680,
  title = {{Rethink the Role of Neural Decoders in Quantum Error Correction}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2026},
  url = {https://openreview.net/forum?id=EnZFaqg7hx},
}

@inproceedings{icml2026_disjunctivenet_53105,
  title = {{DisjunctiveNet: Neural Symbolic Learning via Differentiable Convexified Optimization Layers}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2026},
  url = {https://openreview.net/forum?id=c88GPpURN8},
}

@inproceedings{icml2026_semrep_53195,
  title = {{SemRep : Generative Code Representation Learning with Code Transformations}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2026},
  url = {https://openreview.net/forum?id=d81PBCmA4s},
}

@inproceedings{icml2026_weights_54285,
  title = {{Weights to Code: Extracting Interpretable Algorithms from the Discrete Transformer}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2026},
  url = {https://openreview.net/forum?id=nYzdAcLN5F},
}

@inproceedings{neurips2024_learning_72452,
  title = {{Learning Better Representations From Less Data For Propositional Satisfiability}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/94906},
}

@inproceedings{neurips2024_compositional_73228,
  title = {{Compositional Generalization Across Distributional Shifts with Sparse Tree Operations}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/94209},
}

@inproceedings{iclr2025_klay_82591,
  title = {{KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2025},
  url = {https://iclr.cc/virtual/2025/poster/29206},
}