🧑‍🔬 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

1. Autoformalization with Large Language ModelsarXiv:2205.12615Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al.2022 · 204 citations
2. LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Mihir Parmar, Nisarg Patel, Neeraj Varshney, et al.2024 · 93 citations
3. Proof Artifact Co-training for Theorem Proving with Language ModelsarXiv:2102.06203Jesse Michael Han, Jason Rute, Yuhuai Wu, et al.2021 · 82 citations
4. Mathematical Reasoning via Self-supervised Skip-tree TrainingarXiv:2006.04757Markus N. Rabe, Dennis Lee, Kshitij Bansal, et al.2020 · 54 citations
5. IsarStep: a Benchmark for High-level Mathematical ReasoningarXiv:2006.09265Wenda Li, Lei Yu, Yuhuai Wu, et al.2020 · 43 citations
6. LIME: Learning Inductive Bias for Primitives of Mathematical ReasoningarXiv:2101.06223Yuhuai Wu, Markus Rabe, Wenda Li, et al.2021 · 39 citations
7. Linear algebra with transformersarXiv:2112.01898François Charton2021 · 31 citations
8. Length Generalization in Arithmetic TransformersarXiv:2306.15400Samy Jelassi, Stéphane d'Ascoli, Carles Domingo-Enrich, et al.2023 · 29 citations
9. End-to-end symbolic regression with transformersarXiv:2204.10532Pierre-Alexandre Kamienny, Stéphane d'Ascoli, Guillaume Lample, et al.2022 · 27 citations
10. Logic Jailbreak: Efficiently Unlocking LLM Safety Restrictions Through Formal Logical ExpressionFindings of the Association for Computational LinguisticsJingyu Peng, Maolin Wang, Nan Wang, et al.2026 · 8 citations
11. ALARB: An Arabic Legal Argument Reasoning BenchmarkArabic Natural Language Processing Conference (ArabicNLP)Harethah Abu Shairah, Somayah AlHarbi, Abdulaziz AlHussein, et al.2025 · 3 citations
12. From Statistical Relational to Neurosymbolic Artificial Intelligence: a SurveyarXiv:2108.11451Giuseppe Marra, Sebastijan Dumančić, Robin Manhaeve, et al.2021 · 3 citations
13. OpenExempt: A Diagnostic Benchmark for Legal Reasoning and a Framework for Creating Custom Benchmarks on DemandFindings of the Association for Computational LinguisticsSergio Servantez, Sarah B. Lawsky, Rajiv Jain, et al.2026 · 2 citations
14. Beyond Detection: Evaluating Fallacy Awareness of LLMs in Interactive ScenariosAnnual Meeting of the Association for Computational Linguistics (ACL)Conghui Niu, Ningxin Wu, Ziran Zhao, et al.2026
15. Debiasing Logical Fallacy Detection for Real-World Robustness via Counterfactually Augmented DataAnnual Meeting of the Association for Computational Linguistics (ACL)Navyansh Singh2026

21 more citing papers of our library have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/authors/christopher-hahn/cited-by/