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

1. Evaluation of OpenAI o1: Opportunities and Challenges of AGIarXiv:2409.18486Tianyang Zhong, Zhengliang Liu, Yi Pan, et al.2024 · 64 citations
2. Absolute Zero: Reinforced Self-play Reasoning with Zero DataConference on Neural Information Processing Systems (NeurIPS)Andrew Zhao, Yiran Wu, Yang Yue, et al.2025 · 57 citations
3. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
4. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
5. Learning to Reason without External RewardsarXiv:2505.19590Xuandong Zhao, Zhewei Kang, Aosong Feng, et al.2025 · 44 citations
6. STP: Self-play LLM Theorem Provers with Iterative Conjecturing and ProvingarXiv:2502.00212Kefan Dong, Tengyu Ma2025 · 43 citations
7. A Systematic Survey of Automatic Prompt Optimization TechniquesConference on Empirical Methods in Natural Language Processing (EMNLP)Kiran Ramnath, Kang Zhou, Sheng Guan, et al.2025 · 40 citations
8. Agentic Context Engineering: Evolving Contexts for Self-Improving Language ModelsarXiv:2510.04618Qizheng Zhang, Changran Hu, Shubhangi Upasani, et al.2025 · 39 citations
9. Lean Copilot: Large Language Models as Copilots for Theorem Proving in LeanarXiv:2404.12534Peiyang Song, Kaiyu Yang, Anima Anandkumar2024 · 39 citations
10. MAPRO: Recasting Multi-Agent Prompt Optimization as Maximum a Posteriori InferenceFindings of the Association for Computational LinguisticsZheyuan Zhang, Lin Ge, Hongjiang Li, et al.2026 · 3 citations
11. Adaptive Text Anonymization: Learning Privacy-Utility Trade-offs via Prompt OptimizationFindings of the Association for Computational LinguisticsGabriel Loiseau, Damien Sileo, Damien Riquet, et al.2026 · 2 citations
12. Efficient Multi-Agent System Training with Data Influence-Oriented Tree SearchAnnual Meeting of the Association for Computational Linguistics (ACL)Wentao Shi, Zichun Yu, Fuli Feng, et al.2026 · 2 citations
13. LLM Prompt Duel Optimizer: Efficient Label-Free Prompt OptimizationFindings of the Association for Computational LinguisticsYuanchen Wu, Saurabh Verma, Justin Lee, et al.2026 · 2 citations
14. promptolution: A Unified, Modular Framework for Prompt OptimizationConference of the European Chapter of the Association for Computational Linguistics (EACL)Tom Zehle, Timo Heiß, Moritz Schlager, et al.2026 · 2 citations
15. A Self-Reflective LLM-based Architecture for Semi-Open Event ExtractionWorkshop on Event Extraction and Understanding: Challenges and ApplicationsHristo Tanev, Michel de Bollivier, Bertrand De Longueville2026 · 1 citation
16. Importance of Prompt Optimisation for Error Detection in Medical Notes Using Language ModelsWorkshop on Linguistic Analysis for HealthCraig Myles, Patrick Schrempf, David Harris-Birtill2026
17. Neural at ArchEHR-QA 2026: One Method Fits All: Unified Prompt Optimization for Clinical QA over EHRsWorkshop on Patient-Oriented Language Processing @ LRECAbrar Majeedi, Viswanatha Reddy Gajjala, Sai Prasanna Teja Reddy Bogireddy, et al.2026
18. Reinforced Agent: Inference-Time Feedback for Tool-Calling AgentsWorkshop on Generation, Evaluation and Metrics (GEM)Anh Ta, Junjie Zhu, Shahin Shayandeh2026

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

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