🧑‍🔬 Who cites Xujie Si

147 citations of their works from 136 papers of our library (of the 149,439 whose bibliographies we read) · 71 with a page here, the most cited first · ← Xujie Si

1. Kimi K2: Open Agentic IntelligencearXiv:2507.20534Kimi Team, Yifan Bai, Yiping Bao, et al.2025 · 347 citations
2. DeepSeek-V3.2: Pushing the Frontier of Open Large Language ModelsarXiv:2512.02556DeepSeek-AI, Aixin Liu, Aoxue Mei, et al.2025 · 341 citations
3. GLM-5: from Vibe Coding to Agentic EngineeringarXiv:2602.15763Aohan Zeng, Xin Lv, Zhenyu Hou, et al.2026 · 95 citations
4. PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical CompetitionConference on Neural Information Processing Systems (NeurIPS)George Tsoukalas, Jasper Lee, John Jennings, et al.2024 · 93 citations
5. Lean Workbook: A large-scale Lean problem set formalized from natural language math problemsConference on Neural Information Processing Systems (NeurIPS)Huaiyuan Ying, Zijian Wu, Yihan Geng, et al.2024 · 80 citations
6. MiMo-V2-Flash Technical ReportarXiv:2601.02780Xiaomi LLM-Core Team; Bangjun Xiao; Bingquan Xia; Bo Yang; Bofei Gao; Bowen Shen; Chen Zhang; Chenhong He; Chiheng Lou; Fuli Luo; Gang Wang; Gang Xie; Hailin Zhang; Hanglong Lv; Hanyu Li; Heyu Chen; Hongshen Xu; Houbin Zhang; Huaqiu Liu; Jiangshan Duo; Jianyu Wei; Jiebao Xiao; Jinhao Dong; Jun Shi; Junhao Hu; Kainan Bao; Kang Zhou; Lei Li; Liang Zhao; Linghao Zhang; Peidian Li; Qianli Chen; Shaohui Liu; Shihua Yu; Shijie Cao; Shimao Chen; Shouqiu Yu; Shuo Liu; Tianling Zhou; Weijiang Su; Weikun Wang; Wenhan Ma; Xiangwei Deng; Bohan Mao; Bowen Ye; Can Cai; Chenghua Wang; Chengxuan Zhu; Chong Ma; Chun Chen; Chunan Li; Dawei Zhu; Deshan Xiao; Dong Zhang; Duo Zhang; Fangyue Liu; Feiyu Yang; Fengyuan Shi; Guoan Wang; Hao Tian; Hao Wu; Heng Qu; Hongfei Yi; Hongxu An; Hongyi Guan; Xing Zhang; Yifan Song; Yihan Yan; Yihao Zhao; Yingchun Lai; Yizhao Gao; Yu Cheng; Yuanyuan Tian; Yudong Wang; Zhen Tang; Zhengju Tang; Zhengtao Wen; Zhichao Song; Zhixian Zheng; Zihan Jiang; Jian Wen; Jiarui Sun; Jiawei Li; Jinlong Xue; Jun Xia; Kai Fang; Menghang Zhu; Nuo Chen; Qian Tu; Qihao Zhang; Qiying Wang; Rang Li; Rui Ma; Shaolei Zhang; Shengfan Wang; Shicheng Li; Shuhao Gu; Shuhuai Ren; Sirui Deng; Tao Guo; Tianyang Lu; Weiji Zhuang; Weikang Zhang; Weimin Xiong; Wenshan Huang; Wenyu Yang; Xin Zhang; Xing Yong; Xu Wang; Xueyang Xie; Yilin Jiang; Yixin Yang; Yongzhe He; Yu Tu; Yuanliang Dong; Yuchen Liu; Yue Ma; Yue Yu; Yuxing Xiang; Zhaojun Huang; Zhenru Lin; Zhipeng Xu; Zhiyang Chen; Zhonghua Deng; Zihan Zhang;, Zihao Yue2026 · 60 citations
7. Lean-STaR: Learning to Interleave Thinking and ProvingarXiv:2407.10040Haohan Lin, Zhiqing Sun, Sean Welleck, et al.2024 · 51 citations
8. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
9. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
10. A Survey of Frontiers in LLM Reasoning: Inference Scaling, Learning to Reason, and Agentic SystemsarXiv:2504.09037Zixuan Ke, Fangkai Jiao, Yifei Ming, et al.2025 · 39 citations
11. Lean Copilot: Large Language Models as Copilots for Theorem Proving in LeanarXiv:2404.12534Peiyang Song, Kaiyu Yang, Anima Anandkumar2024 · 39 citations
12. Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2arXiv:2502.03544Yuri Chervonyi, Trieu H. Trinh, Miroslav Olšák, et al.2025 · 31 citations
13. Qwen3.5-Omni Technical ReportarXiv:2604.15804Qwen Team2026 · 29 citations
14. AutoVerus: Automated Proof Generation for Rust CodeProceedings of the ACM on Programming LanguagesChenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, et al.2024 · 28 citations
15. Nemotron 3 Nano: Open, Efficient Mixture-of-Experts Hybrid Mamba-Transformer Model for Agentic ReasoningarXiv:2512.20848NVIDIA: Aaron Blakeman, Aaron Grattafiori, Aarti Basant, et al.2025 · 27 citations
16. Autoformalizing Euclidean GeometryarXiv:2405.17216Logan Murphy, Kaiyu Yang, Jialiang Sun, et al.2024 · 23 citations
17. A Survey on Evaluation of LLM-based AgentsFindings of the Association for Computational LinguisticsAsaf Yehudai, Lilach Eden, Alan Li, et al.2026 · 21 citations
18. AI4Research: A Survey of Artificial Intelligence for Scientific ResearchScience China Information SciencesQiguang Chen, Mingda Yang, Libo Qin, et al.2025 · 21 citations
19. Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic ConsistencyConference on Neural Information Processing Systems (NeurIPS)Zenan Li, Yifan Wu, Zhaoyu Li, et al.2024 · 19 citations
20. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations
21. miniCTX: Neural Theorem Proving with (Long-)ContextsarXiv:2408.03350Jiewen Hu, Thomas Zhu, Sean Welleck2024 · 18 citations
22. ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of DataConference on Neural Information Processing Systems (NeurIPS)Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, et al.2025 · 16 citations
23. DafnyBench: A Benchmark for Formal Software VerificationarXiv:2406.08467Chloe Loughridge, Qinyi Sun, Seth Ahrenbach, et al.2024 · 15 citations
24. LLM-Based Human-Agent Collaboration and Interaction Systems: A SurveyFindings of the Association for Computational LinguisticsHenry Peng Zou, Wei-Chieh Huang, Yaozu Wu, et al.2026 · 12 citations
25. Autoformalization in the Era of Large Language Models: A SurveyarXiv:2505.23486Ke Weng, Lun Du, Sirui Li, et al.2025 · 11 citations
26. Holistic Agent Leaderboard: The Missing Infrastructure for AI Agent EvaluationarXiv:2510.11977Sayash Kapoor, Benedikt Stroebl, Peter Kirgis, et al.2025 · 11 citations
27. Proving Olympiad Inequalities by Synergizing LLMs and Symbolic ReasoningarXiv:2502.13834Zenan Li, Zhaoyu Li, Wen Tang, et al.2025 · 11 citations
28. AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and TreefinementarXiv:2412.06176Pranjal Aggarwal, Bryan Parno, Sean Welleck2024 · 11 citations
29. QwenLong-L1.5: Post-Training Recipe for Long-Context Reasoning and Memory ManagementarXiv:2512.12967Weizhou Shen, Ziyi Yang, Chenliang Li, et al.2025 · 10 citations
30. ReForm: Reflective Autoformalization with Prospective Bounded Sequence OptimizationarXiv:2510.24592Guoxin Chen, Jing Wu, Xinjie Chen, et al.2025 · 8 citations
31. ERNIE 5.0 Technical ReportarXiv:2602.04705Haifeng Wang, Hua Wu, Tian Wu, et al.2026 · 7 citations
32. Reviving DSP for Advanced Theorem Proving in the Era of Reasoning ModelsConference on Neural Information Processing Systems (NeurIPS)Chenrui Cao, Liangcheng Song, Zenan Li, et al.2025 · 7 citations
33. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citations
34. LoopTool: Closing the Data–Training Loop for Robust LLM Tool CallsAnnual Meeting of the Association for Computational Linguistics (ACL)Kangning Zhang, Weiwen Liu, Wenxiang Jiao, et al.2026 · 6 citations
35. Autoformalizer with Tool FeedbackarXiv:2510.06857Qi Guo; Jianing Wang; Jianfei Zhang; Deyang Kong; Xiangzhou Huang; Xiangyu Xi; Wei Wang; Jingang Wang; Xunliang Cai; Shikun Zhang;, Wei Ye2025 · 6 citations
36. DeepPlanning: Benchmarking Long-Horizon Agentic Planning with Verifiable ConstraintsAnnual Meeting of the Association for Computational Linguistics (ACL)Yinger Zhang, Shutong Jiang, Renhao Li, et al.2026 · 5 citations
37. Lost in Simulation: LLM-Simulated Users are Unreliable Proxies for Human Users in Agentic EvaluationsAnnual Meeting of the Association for Computational Linguistics (ACL)Preethi Seshadri, Samuel Cahyawijaya, Ayomide Odumakinde, et al.2026 · 5 citations
38. ImProver: Agent-Based Automated Proof OptimizationarXiv:2410.04753Riyaz Ahuja, Jeremy Avigad, Prasad Tetali, et al.2024 · 5 citations
39. AgencyBench: Benchmarking the Frontiers of Autonomous Agents in 1M-Token Real-World ContextsAnnual Meeting of the Association for Computational Linguistics (ACL)Keyu Li, Junhao Shi, Yang Xiao, et al.2026 · 4 citations
40. Uncertainty Quantification in LLM Agents: Foundations, Emerging Challenges, and OpportunitiesAnnual Meeting of the Association for Computational Linguistics (ACL)Changdae Oh, Seongheon Park, To Eun Kim, et al.2026 · 4 citations
41. Unlocking Implicit Experience: Synthesizing Tool-Use Trajectories from TextAnnual Meeting of the Association for Computational Linguistics (ACL)Zhihao Xu, Rumei Li, Jiahuan Li, et al.2026 · 4 citations
42. miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path ForwardConference on Neural Information Processing Systems (NeurIPS)Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh2025 · 4 citations
43. MiniMax Sparse AttentionarXiv:2606.13392Xunhao Lai, Weiqi Xu, Yufeng Yang, et al.2026 · 2 citations
44. 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
45. A Survey of Deep Learning for Geometry Problem SolvingAnnual Meeting of the Association for Computational Linguistics (ACL)Jianzhe Ma, Wenxuan Wang, Qin Jin2026 · 1 citation
46. ARISE: An Adaptive Resolution-Aware Metric for Test-Time Scaling Evaluation in Large Reasoning ModelsFindings of the Association for Computational LinguisticsZhangyue Yin, Qiushi Sun, Zhiyuan Zeng, et al.2026 · 1 citation
47. Mock Worlds, Real Skills: Building Small Agentic Language Models with Synthetic Tasks, Simulated Environments, and Rubric-Based RewardsAnnual Meeting of the Association for Computational Linguistics (ACL)Yuanjie Lyu, Chengyu Wang, Lei Shen, et al.2026 · 1 citation
48. Robust Tool Use via Fission-GRPO: Learning to Recover from Execution ErrorsAnnual Meeting of the Association for Computational Linguistics (ACL)Zhiwei Zhang, Fei Zhao, Rui Wang, et al.2026 · 1 citation
49. SAGE : A Top-Down Bottom-Up Knowledge-Grounded User Simulator for Multi-turn Agent EvaluationFindings of the Association for Computational LinguisticsRyan Shea, Yunan Lu, Liang Qiu, et al.2026 · 1 citation
50. Strong Reasoning Isn't Enough: Evaluating Evidence Elicitation in Interactive DiagnosisFindings of the Association for Computational LinguisticsZhuohan Long, Zhongyu Wei2026 · 1 citation
51. Agent-Dice: Disentangling Knowledge Updates via Geometric Consensus for Agent Continual LearningFindings of the Association for Computational LinguisticsZheng Wu, Xingyu Lou, Xinbei Ma, et al.2026
52. AgentGym2: Benchmarking Large Language Model Agents in De-Idealized Real-World EnvironmentsAnnual Meeting of the Association for Computational Linguistics (ACL)Zhiheng Xi, Dingwen Yang, Jiaqi Liu, et al.2026
53. Agentic CLEAR: Automating Multi-Level Evaluation of LLM AgentsAnnual Meeting of the Association for Computational Linguistics (ACL)Asaf Yehudai, Lilach Eden, Michal Shmueli-Scheuer2026
54. AgenticQwen: Training Small Agentic Language Models with Dual Data Flywheels for Industrial-Scale Tool UseAnnual Meeting of the Association for Computational Linguistics (ACL)Yuanjie Lyu, Chengyu Wang, Haonan Zheng, et al.2026
55. AnalystBench: Benchmarking professional long-form report generation with web-mined multimodal tasksFindings of the Association for Computational LinguisticsChau Minh Pham, Zichao Wang, Puneet Mathur, et al.2026
56. BrowseConf: Confidence-Guided Test-Time Scaling for Web AgentsFindings of the Association for Computational LinguisticsLitu Ou, Kuan Li, Huifeng Yin, et al.2026
57. Complex-IF and Beyond: Expert Rubrics for RLVRWorkshop on Generation, Evaluation and Metrics (GEM)Sushant Mehta, Liudas Panavas, Eleanor Fleming, et al.2026
58. Dynamic Tool Dependency Retrieval for Lightweight Function CallingFindings of the Association for Computational LinguisticsBhrij Patel, Davide Belli, Amir Jalalirad, et al.2026
59. Efficient Agent Evaluation via Diversity-Guided User SimulationAnnual Meeting of the Association for Computational Linguistics (ACL)Itay Nakash, George Kour, Ateret Anaby Tavor2026
60. FAMA: Failure-Aware Meta-Agentic Framework for Open-Source LLMs in Interactive Tool Use EnvironmentsFindings of the Association for Computational LinguisticsAmir Saeidi, Venkatesh Mishra, Souradeep Mukhopadhyay, et al.2026
61. How to Train a Real-World Silicon Concierge? Internalizing Complex Business Workflow to Only OneModelAnnual Meeting of the Association for Computational Linguistics (ACL)Yongqi Tong, Xiaoyun Feng, Lyuxin Xue, et al.2026
62. Language Models Learn Universal Representations of Numbers and Here's Why You Should CareAnnual Meeting of the Association for Computational Linguistics (ACL)Michal Štefánik, Timothee Mickus, Marek Kadlčík, et al.2026
63. MioFFAn: An Annotation Software for Formula Formalization with LLM Automation CapabilitiesNatural Scientific Language Processing (NSLP) @ LRECNicolas Sibuet Ruiz, Horacio Saggion, Riccardo Rossi2026
64. Near-Miss: Latent Policy Failure Detection in Agentic WorkflowsWorkshop on Generation, Evaluation and Metrics (GEM)Ella Rabinovich, David Boaz, Naama Zwerdling, et al.2026
65. PExA: Parallel Exploration Agent for Complex Text-to-SQLAnnual Meeting of the Association for Computational Linguistics (ACL)Tanmay Parekh, Ella Hofmann-Coyle, Shuyi Wang, et al.2026
66. Reinforced Agent: Inference-Time Feedback for Tool-Calling AgentsWorkshop on Generation, Evaluation and Metrics (GEM)Anh Ta, Junjie Zhu, Shahin Shayandeh2026
67. Rethinking Text-to-SQL: Dynamic Multi-turn SQL Interaction for Real-world Database ExplorationFindings of the Association for Computational LinguisticsLinzhuang Sun, Tianyu Guo, Hao Liang, et al.2026
68. ToolCPT: Improving Tool Utilization in LLM Agents via Continuous Pre-trainingFindings of the Association for Computational LinguisticsYifan Yang, Jinghui Lu, Evadeng, et al.2026
69. TPS-Bench: Evaluating AI Agents' Tool Planning & Scheduling Abilities in Compounding TasksAnnual Meeting of the Association for Computational Linguistics (ACL)Hanwen Xu, Xuyao Huang, Yuzhe Liu, et al.2026
70. U-Fold: Dynamic Intent-Aware Context Folding for User-Centric AgentsFindings of the Association for Computational LinguisticsJin Su, Runnan Fang, Yeqiu Li, et al.2026
71. When Agents Look the Same: Quantifying Distillation-Induced Similarity in Tool-Use BehaviorsAnnual Meeting of the Association for Computational Linguistics (ACL)Chenghao Yang, Yuning Zhang, Zhoufutu Wen, et al.2026

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

↑ back to top

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