% Key papers for Inductive and abstract reasoning evaluation (scime atlas, https://atlas.scime.ai). Authors are not included: add them from the paper pages.

@inproceedings{iclr2019_analysing_28875,
  title = {{Analysing Mathematical Reasoning Abilities of Neural Models}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2019},
  url = {https://iclr.cc/virtual/2019/poster/933},
}

@inproceedings{aaai2021_hms_698,
  title = {{HMS: A Hierarchical Solver with Dependency-Enhanced Understanding for Math Word Problem}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2021},
  url = {https://aaai.org/papers/04232-hms-a-hierarchical-solver-with-dependency-enhanced-understanding-for-math-word-problem/},
}

@inproceedings{aaai2021_conversational_327,
  title = {{Conversational Neuro-Symbolic Commonsense Reasoning}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2021},
  url = {https://aaai.org/papers/04902-conversational-neuro-symbolic-commonsense-reasoning/},
}

@inproceedings{aaai2016_commonsense_105424,
  title = {{Commonsense Interpretation of Triangle Behavior}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2016},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/9881},
}

@inproceedings{iclr2021_mathematical_30413,
  title = {{Mathematical Reasoning via Self-supervised Skip-tree Training}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2021},
  url = {https://iclr.cc/virtual/2021/poster/3055},
}

@inproceedings{aaai2024_advancing_5141,
  title = {{Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/29811},
}

@inproceedings{iclr2024_take_33572,
  title = {{Take a Step Back: Evoking Reasoning via Abstraction in Large Language Models}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2024},
  url = {https://iclr.cc/virtual/2024/poster/19503},
}

@inproceedings{iclr2024_tora_33984,
  title = {{ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2024},
  url = {https://iclr.cc/virtual/2024/poster/19091},
}

@inproceedings{neurips2024_evaluating_72850,
  title = {{Evaluating the World Model Implicit in a Generative Model}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/94550},
}

@inproceedings{aaai2025_efficient_8915,
  title = {{Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/33905},
}

@inproceedings{aaai2017_analogical_104575,
  title = {{Analogical Chaining with Natural Language Instruction for Commonsense Reasoning}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2017},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/11153},
}

@inproceedings{aaai2022_pushing_2599,
  title = {{Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2022},
  url = {https://aaai.org/papers/11209-pushing-the-limits-of-rule-reasoning-in-transformers-through-natural-language-satisfiability/},
}

@inproceedings{iclr2021_effective_30599,
  title = {{Effective Abstract Reasoning with Dual-Contrast Network}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2021},
  url = {https://iclr.cc/virtual/2021/poster/2833},
}

@inproceedings{aaai2025_nesycoco_10092,
  title = {{NeSyCoCo: A Neuro-Symbolic Concept Composer for Compositional Generalization}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/32439},
}

@inproceedings{aaai2023_generalizing_3765,
  title = {{Generalizing Math Word Problem Solvers via Solution Diversification}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2023},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/26548},
}

@inproceedings{neurips2021_improving_63414,
  title = {{Improving Coherence and Consistency in Neural Sequence Models with Dual-System, Neuro-Symbolic Reasoning}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2021},
  url = {https://nips.cc/virtual/2021/poster/25970},
}

@inproceedings{neurips2022_using_65446,
  title = {{Using natural language and program abstractions to instill human inductive biases in machines}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2022},
  url = {https://nips.cc/virtual/2022/poster/54789},
}

@inproceedings{neurips2022_evaluation_65534,
  title = {{Evaluation beyond Task Performance: Analyzing Concepts in AlphaZero in Hex}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2022},
  url = {https://nips.cc/virtual/2022/poster/53107},
}

@inproceedings{aaai2019_reasoning_101348,
  title = {{Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2019},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/4149},
}

@inproceedings{aaai2025_what_11284,
  title = {{What Are Step-Level Reward Models Rewarding? Counterintuitive Findings from MCTS-Boosted Mathematical Reasoning}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/34663},
}

@inproceedings{neurips2024_a_70527,
  title = {{A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://openreview.net/forum?id=5VtI484yVy},
}

@inproceedings{neurips2024_metacognitive_71109,
  title = {{Metacognitive Capabilities of LLMs: An Exploration in Mathematical Problem Solving}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/96107},
}

@inproceedings{neurips2025_mulberry_79127,
  title = {{Mulberry: Empowering MLLM with o1-like Reasoning and Reflection via Collective Monte Carlo Tree Search}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2025},
  url = {https://openreview.net/forum?id=lwOV2ACEK9},
}

@inproceedings{iclr2024_neural_34014,
  title = {{Neural-Symbolic Recursive Machine for Systematic Generalization}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2024},
  url = {https://iclr.cc/virtual/2024/poster/19061},
}

@inproceedings{iclr2024_phenomenal_34740,
  title = {{Phenomenal Yet Puzzling: Testing Inductive Reasoning Capabilities of Language Models with Hypothesis Refinement}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2024},
  url = {https://iclr.cc/virtual/2024/poster/18334},
}

@inproceedings{aaai2024_emergent_5824,
  title = {{Emergent Communication for Numerical Concepts Generalization}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/29712},
}

@inproceedings{aaai2025_gns_9286,
  title = {{GNS: Solving Plane Geometry Problems by Neural-Symbolic Reasoning with Multi-Modal LLMs}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/34679},
}

@inproceedings{iclr2024_mastering_33792,
  title = {{Mastering Symbolic Operations: Augmenting Language Models with Compiled Neural Networks}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2024},
  url = {https://iclr.cc/virtual/2024/poster/19283},
}

@inproceedings{neurips2024_decompose_71859,
  title = {{Decompose, Analyze and Rethink: Solving Intricate Problems with Human-like Reasoning Cycle}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/95441},
}

@inproceedings{neurips2024_interpretable_72527,
  title = {{Interpretable Concept-Based Memory Reasoning}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/94840},
}

@inproceedings{neurips2025_a2seek_78071,
  title = {{A2Seek: Towards Reasoning-Centric Benchmark for Aerial Anomaly Understanding}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2025},
  url = {https://openreview.net/forum?id=apHeLNdl9g},
}

@inproceedings{aaai2024_stable_7407,
  title = {{Stable Model Semantics for Description Logic Terminologies}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/28917},
}

@inproceedings{aaai2025_trace_10912,
  title = {{TRACE-CS: A Synergistic Approach to Explainable Course Scheduling Using LLMs and Logic}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/35374},
}