--- title: "Who cites David Broman — 88 papers of our library" description: "88 papers of the Elamur Research library cite the works of David Broman, found in their bibliographies; the most cited first." canonical: "https://research.elamur.ai/free/en/authors/david-broman/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/david-broman/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [David Broman](https://md.research.elamur.ai/free/en/authors/david-broman/) / cited by # Who cites David Broman 88 citations of their works from 88 papers of our library (of the 149,439 whose bibliographies we read) · 18 with a page here, the most cited first · [← David Broman](https://md.research.elamur.ai/free/en/authors/david-broman/) 1. [**Evaluation of OpenAI o1: Opportunities and Challenges of AGI arXiv:2409.18486**Tianyang Zhong, Zhengliang Liu, Yi Pan, et al.*2024 · 64 citations*](https://md.research.elamur.ai/free/en/papers/zhong-2024-evaluation-openai-o1-opportunities-challenges/) 2. **[Absolute Zero: Reinforced Self-play Reasoning with Zero Data](https://md.research.elamur.ai/free/en/papers/zhao-2025-absolute-zero-reinforced-self-play/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Andrew Zhao, Yiran Wu, Yang Yue, et al.*2025 · 57 citations* 3. [**Formal Mathematical Reasoning: A New Frontier in AI arXiv:2412.16075**Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.*2024 · 49 citations*](https://md.research.elamur.ai/free/en/papers/yang-2024-formal-mathematical-reasoning-new-frontier/) 4. [**A Survey on Deep Learning for Theorem Proving arXiv:2404.09939**Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.*2024 · 46 citations*](https://md.research.elamur.ai/free/en/papers/li-2024-survey-deep-learning-theorem-proving/) 5. [**Learning to Reason without External Rewards arXiv:2505.19590**Xuandong Zhao, Zhewei Kang, Aosong Feng, et al.*2025 · 44 citations*](https://md.research.elamur.ai/free/en/papers/zhao-2025-learning-reason-external-rewards/) 6. [**STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving arXiv:2502.00212**Kefan Dong, Tengyu Ma*2025 · 43 citations*](https://md.research.elamur.ai/free/en/papers/dong-2025-stp-self-play-llm-theorem/) 7. **[A Systematic Survey of Automatic Prompt Optimization Techniques](https://md.research.elamur.ai/free/en/papers/ramnath-2025-systematic-survey-automatic-prompt-optimization/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Kiran Ramnath, Kang Zhou, Sheng Guan, et al.*2025 · 40 citations* 8. [**Agentic Context Engineering: Evolving Contexts for Self-Improving Language Models arXiv:2510.04618**Qizheng Zhang, Changran Hu, Shubhangi Upasani, et al.*2025 · 39 citations*](https://md.research.elamur.ai/free/en/papers/zhang-2025-agentic-context-engineering-evolving-contexts/) 9. [**Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean arXiv:2404.12534**Peiyang Song, Kaiyu Yang, Anima Anandkumar*2024 · 39 citations*](https://md.research.elamur.ai/free/en/papers/song-2024-lean-copilot-large-language-models/) 10. **[MAPRO: Recasting Multi-Agent Prompt Optimization as Maximum a Posteriori Inference](https://md.research.elamur.ai/free/en/papers/zhang-2026-mapro-recasting-multi-agent-prompt/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Zheyuan Zhang, Lin Ge, Hongjiang Li, et al.*2026 · 3 citations* 11. **[Adaptive Text Anonymization: Learning Privacy-Utility Trade-offs via Prompt Optimization](https://md.research.elamur.ai/free/en/papers/loiseau-2026-adaptive-text-anonymization-learning-privacy/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Gabriel Loiseau, Damien Sileo, Damien Riquet, et al.*2026 · 2 citations* 12. **[Efficient Multi-Agent System Training with Data Influence-Oriented Tree Search](https://md.research.elamur.ai/free/en/papers/shi-2026-efficient-multi-agent-system-training/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Wentao Shi, Zichun Yu, Fuli Feng, et al.*2026 · 2 citations* 13. **[LLM Prompt Duel Optimizer: Efficient Label-Free Prompt Optimization](https://md.research.elamur.ai/free/en/papers/wu-2026-llm-prompt-duel-optimizer-efficient/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Yuanchen Wu, Saurabh Verma, Justin Lee, et al.*2026 · 2 citations* 14. **[promptolution: A Unified, Modular Framework for Prompt Optimization](https://md.research.elamur.ai/free/en/papers/zehle-2026-promptolution-unified-modular-framework-prompt/) [Conference of the European Chapter of the Association for Computational Linguistics (EACL)](https://md.research.elamur.ai/free/en/venues/eacl/)**Tom Zehle, Timo Heiß, Moritz Schlager, et al.*2026 · 2 citations* 15. **[A Self-Reflective LLM-based Architecture for Semi-Open Event Extraction](https://md.research.elamur.ai/free/en/papers/tanev-2026-self-reflective-llm-based-architecture/) [Workshop on Event Extraction and Understanding: Challenges and Applications](https://md.research.elamur.ai/free/en/venues/eeuca/)**Hristo Tanev, Michel de Bollivier, Bertrand De Longueville*2026 · 1 citation* 16. **[Importance of Prompt Optimisation for Error Detection in Medical Notes Using Language Models](https://md.research.elamur.ai/free/en/papers/myles-2026-importance-prompt-optimisation-error-detection/) [Workshop on Linguistic Analysis for Health](https://md.research.elamur.ai/free/en/venues/healing/)**Craig Myles, Patrick Schrempf, David Harris-Birtill*2026* 17. **[Neural at ArchEHR-QA 2026: One Method Fits All: Unified Prompt Optimization for Clinical QA over EHRs](https://md.research.elamur.ai/free/en/papers/majeedi-2026-neural-archehr-qa-2026-one/) [Workshop on Patient-Oriented Language Processing @ LREC](https://md.research.elamur.ai/free/en/venues/cl4health/)**Abrar Majeedi, Viswanatha Reddy Gajjala, Sai Prasanna Teja Reddy Bogireddy, et al.*2026* 18. **[Reinforced Agent: Inference-Time Feedback for Tool-Calling Agents](https://md.research.elamur.ai/free/en/papers/ta-2026-reinforced-agent-inference-time-feedback/) [Workshop on Generation, Evaluation and Metrics (GEM)](https://md.research.elamur.ai/free/en/venues/gem/)**Anh Ta, Junjie Zhu, Shahin Shayandeh*2026* 70 more citing papers of our library have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/authors/david-broman/) — David Broman