🧑‍🔬 Who cites Jiri Gesi

78 citations of their works from 77 papers of our library (of the 149,439 whose bibliographies we read) · 11 with a page here, the most cited first · ← Jiri Gesi

1. Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Haoxiang Sun, Yingqian Min, Zhipeng Chen, et al.2026 · 25 citations
2. Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from ExperiencearXiv:2512.17260Jiangjie Chen, Wenxiang Chen, Jiacheng Du, et al.2025 · 19 citations
3. The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical ProofsarXiv:2506.21621Jasper Dekoninck, Ivo Petrov, Kristian Minchev, et al.2025 · 11 citations
4. AdvancedIF: Rubric-Based Benchmarking and Reinforcement Learning for Advancing LLM Instruction FollowingAnnual Meeting of the Association for Computational Linguistics (ACL)Yun He, Wenzhe Li, Hejia Zhang, et al.2026 · 9 citations
5. OPeRA: A Dataset of Observation, Persona, Rationale, and Action for Evaluating LLMs on Human Online Shopping Behavior SimulationAnnual Meeting of the Association for Computational Linguistics (ACL)Ziyi Wang, Yuxuan Lu, Wenbo Li, et al.2026 · 8 citations
6. ReForm: Reflective Autoformalization with Prospective Bounded Sequence OptimizationarXiv:2510.24592Guoxin Chen, Jing Wu, Xinjie Chen, et al.2025 · 8 citations
7. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citations
8. Can LLM Agents Simulate Multi-Turn Human Behavior? Evidence from Real Online Customer Behavior DataAnnual Meeting of the Association for Computational Linguistics (ACL)Yuxuan Lu, Jing Huang, Yan Han, et al.2026 · 2 citations
9. Trajectory2Task: Training Robust Tool-Calling Agents with Synthesized Yet Verifiable Data for Complex User IntentsAnnual Meeting of the Association for Computational Linguistics (ACL)Ziyi Wang, Yuxuan Lu, Yimeng Zhang, et al.2026 · 2 citations
10. ShopSimulator: Evaluating and Exploring RL-Driven LLM Agent for Shopping AssistantsAnnual Meeting of the Association for Computational Linguistics (ACL)Pei Wang, Yanan Wu, Xiaoshuai Song, et al.2026 · 1 citation
11. LLMs for Now, Fine-Tuning for Later: An Ensemble Approach to Data Drift in Domain-Specific TasksAnnual Meeting of the Association for Computational Linguistics (ACL)Yuxuan Lu, Bingsheng Yao, Shao Zhang, et al.2026

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

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