% Key papers for Long CoT dynamics and efficiency (scime atlas, https://atlas.scime.ai). Authors are not included: add them from the paper pages.

@inproceedings{iclr2023_self_31941,
  title = {{Self-Consistency Improves Chain of Thought Reasoning in Language Models}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2023},
  url = {https://iclr.cc/virtual/2023/poster/11718},
}

@inproceedings{aaai2017_ontology_101440,
  title = {{Ontology Materialization by Abstraction Refinement in Horn SHOIF}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2017},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/10691},
}

@inproceedings{aaai2019_from_101324,
  title = {{From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2019},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/4124},
}

@inproceedings{aaai2018_qualitative_101484,
  title = {{Qualitative Reasoning About Cardinal Directions Using Answer Set Programming}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2018},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/11568},
}

@inproceedings{icml2024_cruxeval_43926,
  title = {{CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2024},
  url = {https://icml.cc/virtual/2024/poster/34526},
}

@inproceedings{aaai2019_belief_101358,
  title = {{Belief Change and Non-Monotonic Reasoning Sans Compactness}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2019},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/4159},
}

@inproceedings{neurips2025_think_75646,
  title = {{Think Silently, Think Fast: Dynamic Latent Compression of LLM Reasoning Chains}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2025},
  url = {https://openreview.net/forum?id=AQsko3PPUe},
}

@inproceedings{iclr2024_escape_35225,
  title = {{Escape Sky-high Cost: Early-stopping Self-Consistency for Multi-step Reasoning}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2024},
  url = {https://iclr.cc/virtual/2024/poster/17848},
}

@inproceedings{icml2026_chain_51551,
  title = {{Chain-of-Thought Reasoning In The Wild Is Not Always Faithful}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2026},
  url = {https://openreview.net/forum?id=NUyt4uxzx0},
}

@inproceedings{iclr2025_dualformer_82706,
  title = {{Dualformer: Controllable Fast and Slow Thinking by Learning with Randomized Reasoning Traces}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2025},
  url = {https://iclr.cc/virtual/2025/poster/29093},
}

@inproceedings{iclr2025_reasoning_82828,
  title = {{Reasoning with Latent Thoughts: On the Power of Looped Transformers}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2025},
  url = {https://iclr.cc/virtual/2025/poster/28971},
}

@inproceedings{aaai2026_badthink_108134,
  title = {{BadThink: Triggered Overthinking Attacks on Chain-of-Thought Reasoning in Large Language Models}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2026},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/40486},
}

@inproceedings{aaai2026_joint_108272,
  title = {{Joint Evaluation of Answer and Reasoning Consistency for Hallucination Detection in Large Reasoning Models}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2026},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/40624},
}

@inproceedings{aaai2026_extendattack_108481,
  title = {{ExtendAttack: Attacking Servers of LRMs via Extending Reasoning}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2026},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/40833},
}

@inproceedings{icml2026_monitoring_53008,
  title = {{Monitoring Monitorability}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2026},
  url = {https://openreview.net/forum?id=b82fgbMVpz},
}

@inproceedings{neurips2025_self_75115,
  title = {{Self-Verifying Reflection Helps Transformers with CoT Reasoning}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2025},
  url = {https://openreview.net/forum?id=4MvqmXnCEr},
}

@inproceedings{neurips2025_safepath_80021,
  title = {{SAFEPATH: Preventing Harmful Reasoning in Chain-of-Thought via Early Alignment}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2025},
  url = {https://openreview.net/forum?id=vIaNnnQxcl},
}

@inproceedings{iclr2026_openthoughts_84899,
  title = {{OpenThoughts: Data Recipes for Reasoning Models}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2026},
  url = {https://openreview.net/forum?id=7xjoTuaNmN},
}

@inproceedings{iclr2026_dynamic_86255,
  title = {{Dynamic Early Exit in Reasoning Models}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2026},
  url = {https://openreview.net/forum?id=NpU7ZXafRi},
}

@inproceedings{neurips2026_beyond_92652,
  title = {{Beyond Semantics: The Unreasonable Effectiveness of Reasonless Intermediate Tokens}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2026},
  url = {https://neurips.cc/virtual/2026/poster/156774},
}

@inproceedings{aaai2026_reasoning_108261,
  title = {{Reasoning Transfer for an Extremely Low-Resource and Endangered Language: Bridging Languages Through Sample-Efficient Language Understanding}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2026},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/40613},
}

@inproceedings{aaai2026_trade_108450,
  title = {{Trade-offs in Large Reasoning Models: An Empirical Analysis of Deliberative and Adaptive Reasoning over Foundational Capabilities}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2026},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/40802},
}

@inproceedings{icml2024_stacksight_45040,
  title = {{StackSight: Unveiling WebAssembly through Large Language Models and Neurosymbolic Chain-of-Thought Decompilation}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2024},
  url = {https://icml.cc/virtual/2024/poster/33412},
}

@inproceedings{icml2025_metastable_45955,
  title = {{Metastable Dynamics of Chain-of-Thought Reasoning: Provable Benefits of Search, RL and Distillation}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2025},
  url = {https://icml.cc/virtual/2025/poster/46591},
}

@inproceedings{icml2025_can_46115,
  title = {{Can Transformers Reason Logically? A Study in SAT Solving}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2025},
  url = {https://icml.cc/virtual/2025/poster/46444},
}