Follow
Jianqiao Lu
Jianqiao Lu
PhD Candidate at The University of Hong Kong
Verified email at cs.hku.hk
Title
Cited by
Cited by
Year
SELF: Self-Evolution with Language Feedback
J Lu, W Zhong, W Huang, Y Wang, Q Zhu, F Mi, B Wang, W Wang, X Zeng, ...
arXiv preprint arXiv:2310.00533, 2023
23*2023
Planning, Creation, Usage: Benchmarking LLMs for Comprehensive Tool Utilization in Real-World Complex Scenarios
S Huang, W Zhong, J Lu, Q Zhu, J Gao, W Liu, Y Hou, X Zeng, Y Wang, ...
arXiv preprint arXiv:2401.17167, 2024
132024
Yoda: Teacher-student progressive learning for language models
J Lu, W Zhong, Y Wang, Z Guo, Q Zhu, W Huang, Y Wang, F Mi, B Wang, ...
arXiv preprint arXiv:2401.15670, 2024
82024
MR-BEN: A Comprehensive Meta-Reasoning Benchmark for Large Language Models
Z Zeng, Y Liu, Y Wan, J Li, P Chen, J Dai, Y Yao, R Xu, Z Qi, W Zhao, ...
arXiv preprint arXiv:2406.13975, 2024
72024
Mhpp: Exploring the capabilities and limitations of language models beyond basic code generation
J Dai, J Lu, Y Feng, D Huang, G Zeng, R Ruan, M Cheng, H Tan, Z Guo
arXiv preprint arXiv:2405.11430, 2024
72024
AutoPSV: Automated Process-Supervised Verifier
J Lu, Z Dou, H Wang, Z Cao, J Dai, Y Wan, Y Huang, Z Guo
arXiv preprint arXiv:2405.16802, 2024
6*2024
Proving Theorems Recursively
H Wang, H Xin, Z Liu, W Li, Y Huang, J Lu, Z Yang, J Tang, J Yin, Z Li, ...
arXiv preprint arXiv:2405.14414, 2024
52024
Process-driven autoformalization in lean 4
J Lu, Y Wan, Z Liu, Y Huang, J Xiong, C Liu, J Shen, H Jin, J Zhang, ...
arXiv preprint arXiv:2406.01940, 2024
32024
Mr-ben: A meta-reasoning benchmark for evaluating system-2 thinking in llms
Z Zeng, Y Liu, Y Wan, J Li, P Chen, J Dai, Y Yao, R Xu, Z Qi, W Zhao, ...
The Thirty-eighth Annual Conference on Neural Information Processing Systems, 2024
32024
Improving end-to-end speech processing by efficient text data utilization with latent synthesis
J Lu, W Huang, N Zheng, X Zeng, YT Yeung, X Chen
arXiv preprint arXiv:2310.05374, 2023
22023
FVEL: Interactive formal verification environment with large language models via theorem proving
X Lin, Q Cao, Y Huang, H Wang, J Lu, Z Liu, L Song, X Liang
Advances in Neural Information Processing Systems 37, 54932-54946, 2025
12025
UncertaintyRAG: Span-Level Uncertainty Enhanced Long-Context Modeling for Retrieval-Augmented Generation
Z Li, J Xiong, F Ye, C Zheng, X Wu, J Lu, Z Wan, X Liang, C Li, Z Sun, ...
arXiv preprint arXiv:2410.02719, 2024
12024
FormalAlign: Automated Alignment Evaluation for Autoformalization
J Lu, Y Wan, Y Huang, J Xiong, Z Liu, Z Guo
arXiv preprint arXiv:2410.10135, 2024
2024
Online Matching Meets Sampling Without Replacement
Z Huang, CS Lee, J Lu, X Shu
arXiv preprint arXiv:2410.06868, 2024
2024
Scaling Laws for Mixed quantization in Large Language Models
Z Cao, C Zhang, P Gimenes, J Lu, J Cheng, Y Zhao
arXiv preprint arXiv:2410.06722, 2024
2024
UNComp: Uncertainty-Aware Long-Context Compressor for Efficient Large Language Model Inference
J Xiong, J Shen, F Ye, C Tao, Z Wan, J Lu, X Wu, C Zheng, Z Guo, L Kong, ...
arXiv preprint arXiv:2410.03090, 2024
2024
SELF: SELF-EVOLUTION WITH LANGUAGE FEED
J Lu, W Zhong, W Huang, Y Wang, Q Zhu, F Mi, B Wang, W Wang, X Zeng, ...
The system can't perform the operation now. Try again later.
Articles 1–17