--- title: "Who cites Christopher Hahn — 36 papers of our library" description: "36 papers of the Elamur Research library cite the works of Christopher Hahn, found in their bibliographies; the most cited first." canonical: "https://research.elamur.ai/free/en/authors/christopher-hahn/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/christopher-hahn/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Christopher Hahn](https://md.research.elamur.ai/free/en/authors/christopher-hahn/) / cited by # Who cites Christopher Hahn 36 citations of their works from 36 papers of our library (of the 149,439 whose bibliographies we read) · 15 with a page here, the most cited first · [← Christopher Hahn](https://md.research.elamur.ai/free/en/authors/christopher-hahn/) 1. [**Autoformalization with Large Language Models arXiv:2205.12615**Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al.*2022 · 204 citations*](https://md.research.elamur.ai/free/en/papers/wu-2022-autoformalization-large-language-models/) 2. **[LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models](https://md.research.elamur.ai/free/en/papers/parmar-2024-logicbench-systematic-evaluation-logical-reasoning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Mihir Parmar, Nisarg Patel, Neeraj Varshney, et al.*2024 · 93 citations* 3. [**Proof Artifact Co-training for Theorem Proving with Language Models arXiv:2102.06203**Jesse Michael Han, Jason Rute, Yuhuai Wu, et al.*2021 · 82 citations*](https://md.research.elamur.ai/free/en/papers/han-2021-proof-artifact-co-training-theorem/) 4. [**Mathematical Reasoning via Self-supervised Skip-tree Training arXiv:2006.04757**Markus N. Rabe, Dennis Lee, Kshitij Bansal, et al.*2020 · 54 citations*](https://md.research.elamur.ai/free/en/papers/rabe-2020-mathematical-reasoning-self-supervised-skip/) 5. [**IsarStep: a Benchmark for High-level Mathematical Reasoning arXiv:2006.09265**Wenda Li, Lei Yu, Yuhuai Wu, et al.*2020 · 43 citations*](https://md.research.elamur.ai/free/en/papers/li-2020-isarstep-benchmark-high-level-mathematical/) 6. [**LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning arXiv:2101.06223**Yuhuai Wu, Markus Rabe, Wenda Li, et al.*2021 · 39 citations*](https://md.research.elamur.ai/free/en/papers/wu-2021-lime-learning-inductive-bias-primitives/) 7. [**Linear algebra with transformers arXiv:2112.01898**François Charton*2021 · 31 citations*](https://md.research.elamur.ai/free/en/papers/charton-2021-linear-algebra-transformers/) 8. [**Length Generalization in Arithmetic Transformers arXiv:2306.15400**Samy Jelassi, Stéphane d'Ascoli, Carles Domingo-Enrich, et al.*2023 · 29 citations*](https://md.research.elamur.ai/free/en/papers/jelassi-2023-length-generalization-arithmetic-transformers/) 9. [**End-to-end symbolic regression with transformers arXiv:2204.10532**Pierre-Alexandre Kamienny, Stéphane d'Ascoli, Guillaume Lample, et al.*2022 · 27 citations*](https://md.research.elamur.ai/free/en/papers/kamienny-2022-end-end-symbolic-regression-transformers/) 10. **[Logic Jailbreak: Efficiently Unlocking LLM Safety Restrictions Through Formal Logical Expression](https://md.research.elamur.ai/free/en/papers/peng-2026-logic-jailbreak-efficiently-unlocking-llm/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Jingyu Peng, Maolin Wang, Nan Wang, et al.*2026 · 8 citations* 11. **[ALARB: An Arabic Legal Argument Reasoning Benchmark](https://md.research.elamur.ai/free/en/papers/shairah-2025-alarb-arabic-legal-argument-reasoning/) [Arabic Natural Language Processing Conference (ArabicNLP)](https://md.research.elamur.ai/free/en/venues/arabicnlp/)**Harethah Abu Shairah, Somayah AlHarbi, Abdulaziz AlHussein, et al.*2025 · 3 citations* 12. [**From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey arXiv:2108.11451**Giuseppe Marra, Sebastijan Dumančić, Robin Manhaeve, et al.*2021 · 3 citations*](https://md.research.elamur.ai/free/en/papers/marra-2021-statistical-relational-neurosymbolic-artificial/) 13. **[OpenExempt: A Diagnostic Benchmark for Legal Reasoning and a Framework for Creating Custom Benchmarks on Demand](https://md.research.elamur.ai/free/en/papers/servantez-2026-openexempt-diagnostic-benchmark-legal-reasoning/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Sergio Servantez, Sarah B. Lawsky, Rajiv Jain, et al.*2026 · 2 citations* 14. **[Beyond Detection: Evaluating Fallacy Awareness of LLMs in Interactive Scenarios](https://md.research.elamur.ai/free/en/papers/niu-2026-beyond-detection-evaluating-fallacy-awareness/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Conghui Niu, Ningxin Wu, Ziran Zhao, et al.*2026* 15. **[Debiasing Logical Fallacy Detection for Real-World Robustness via Counterfactually Augmented Data](https://md.research.elamur.ai/free/en/papers/singh-2026-debiasing-logical-fallacy-detection-real/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Navyansh Singh*2026* 21 more citing papers of our library have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/authors/christopher-hahn/) — Christopher Hahn