钱家如

Jiaru Qian

博士生 · 2026 年入学

简介

我是北京大学计算机学院2026级博士生钱家如，导师是李戈教授。研究方向：形式化验证、大语言模型推理能力。

[arXiv 2026] Yihong Dong, Jianha Xiao, Xue Jiang, Xuyuan Guo, Zhiyuan Fan, Jiaru Qian, Kechi Zhang, Jia Li, Zhi Jin, Ge Li; Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy; arXiv preprint, arXiv:2604.02709, 2026. PDF

[软件学报, 2026] Yihong Dong, Xue Jiang, Jiaru Qian, Tian Wang, Kechi Zhang, Zhi Jin, Ge Li; 基于大语言模型智能体的代码生成综述（A Survey on Code Generation with LLM-based Agents）; 软件学报 (软件学报); Vol. 37, Iss. 8, pp.3089-3115. PDF
[ACL 2026] Yihong Dong, Zhaoyu Ma, Xue Jiang, Zhiyuan Fan, Jiaru Qian, Yongmin Li, Jianha Xiao, Zhi Jin, Rongyu Cao, Binhua Li, Fei Huang, Yongbin Li, Ge Li; Saber: Efficient Sampling with Adaptive Acceleration and Backtracking Enhanced Remasking for Diffusion Language Model in Code Generation; Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (ACL 2026), San Diego, California, USA.
[FSE 2026] Hao Zhu, Jia Li, Cuiyun Gao, Jiaru Qian, Yihong Dong, Huanyu Liu, Lecheng Wang, Ziliang Wang, Xiaolong Hu, Ge Li; VulInstruct: Teaching LLMs Root-Cause Reasoning for Vulnerability Detection via Security Specifications; Proceedings of the ACM International Conference on the Foundations of Software Engineering (FSE 2026), Montreal, Canada.
[ACL 2026] Xue Jiang, Ge Li, Jiaru Qian, Xianjie Shi, Chenjie Li, Hao Zhu, Ziyu Wang, Jielun Zhang, Zheyu Zhao, Lingwei Wu, Kechi Zhang, Jia Li, Wenpin Jiao, Zhi Jin, Yihong Dong; KOCO-BENCH: Can Large Language Models Leverage Domain Knowledge in Software Development?; Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (ACL 2026), San Diego, California, USA. PDF