🧑‍🔬 Who cites Jianqiao Lu

40 citations of their works from 39 papers of our library (of the 149,439 whose bibliographies we read) · 8 with a page here, the most cited first · ← Jianqiao Lu

1. Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language ModelsScience China Information SciencesQiguang Chen, Libo Qin, Jinhao Liu, et al.2025 · 176 citations
2. Can 1B LLM Surpass 405B LLM? Rethinking Compute-Optimal Test-Time ScalingarXiv:2502.06703Runze Liu, Junqi Gao, Jian Zhao, et al.2025 · 41 citations
3. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations
4. 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
5. CompassVerifier: A Unified and Robust Verifier for LLMs Evaluation and Outcome RewardConference on Empirical Methods in Natural Language Processing (EMNLP)Shudong Liu, Hongwei Liu, Junnan Liu, et al.2025 · 16 citations
6. The Bidirectional Process Reward ModelAnnual Meeting of the Association for Computational Linguistics (ACL)Lingyin Zhang, Jun Gao, Xiaoxue Ren, et al.2026 · 1 citation
7. Time-for-Accuracy: Formalizing Chain-of-Thought as an Expansion of Logical DepthFindings of the Association for Computational LinguisticsYue Wang, Zhi Zhang, Wang Xi, et al.2026
8. Tracing the Light of Thought: A Probabilistic Self- and Cross-Consistency Verification Mechanism Improving Mathematical Reasoning in LLMsFindings of the Association for Computational LinguisticsXiaoyang Liu, Dawei Wang, Tian Li, et al.2026

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

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