Get started
Author

Jianqiao Lu

Observed names: Lu, Jianqiao, Rongwu Xu
ORCID: 0000-0003-4147-9057
Observed ORCID: 0000-0003-4147-9057
OpenAlex ID: A5113021849
Planning, Creation, Usage: Benchmarking LLMs for Comprehensive Tool Utilization in Real-World Complex Scenarios
2024 · Shijue Huang, Wanjun Zhong, et al. · Findings of the Association for Computational Linguistics: ACL (Findings of ACL) · 15
PDF
MR-Ben: A Meta-Reasoning Benchmark for Evaluating System-2 Thinking in LLMs
2024 · Zhongshen Zeng, Yinhong Liu, et al. · neural information processing systems · 7
MHPP: Exploring the Capabilities and Limitations of Language Models Beyond Basic Code Generation
2024 · Dai, Jianbo, Lu, Jianqiao, et al. · arXiv (Cornell University) · 3
PDF
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
2025 · Wang, Haiming, Unsal, Mert, et al. · arXiv (Cornell University) · 2
PDF
YODA: Teacher-Student Progressive Learning for Language Models
2024 · Lu, Jianqiao, Zhong, Wanjun, et al. · arXiv (Cornell University) · 2
PDF
Proving Theorems Recursively
2024 · Haiming Wang, Huajian Xin, et al. · neural information processing systems · 2
PDF
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
2024 · Xiaohan Lin, Qingxing Cao, et al. · neural information processing systems · 2
PDF
Planning, Creation, Usage: Benchmarking LLMs for Comprehensive Tool Utilization in Real-World Complex Scenarios
2024 · Huang, Shijue, Zhong, Wanjun, et al. · arXiv (Cornell University) · 1
PDF
SELF: Self-Evolution with Language Feedback
2023 · Lu, Jianqiao, Zhong, Wanjun, et al. · arXiv (Cornell University) · 1
PDF
Scaling Laws for Mixed Quantization
2026 · Zeyu Cao, Yao Lai, et al. · Conference on Empirical Methods in Natural Language Processing (EMNLP)
PDF
Online Matching Meets Sampling Without Replacement
2026 · Zhiyi Huang, Chui Shan Lee, et al. · Lecture notes in computer science
PDF
FlexPrefill: A Context-Aware Sparse Attention Mechanism for Efficient Long-Sequence Inference
2025 · Lai, Xunhao, Lu, Jianqiao, et al. · arXiv (Cornell University)
PDF
UNComp: Can Matrix Entropy Uncover Sparsity? — A Compressor Design from an Uncertainty-Aware Perspective
2025 · Jing Xiong, Jianghan Shen, et al. · Conference on Empirical Methods in Natural Language Processing (EMNLP)
PDF
Model Merging in Pre-training of Large Language Models
2025 · Yunshui Li, Yiyuan Ma, et al. · neural information processing systems
PDF
DeltaFormer: Unlock the state space of Transformer
2025 · Mingyu Xu, Tenglong Ao, et al. · neural information processing systems
UNComp: Can Matrix Entropy Uncover Sparsity? -- A Compressor Design from an Uncertainty-Aware Perspective
2024 · Xiong, Jing, Shen, Jianghan, et al. · arXiv (Cornell University)
PDF
MR-Ben: A Meta-Reasoning Benchmark for Evaluating System-2 Thinking in LLMs
2024 · Zeng, Zhongshen, Liu, Yinhong, et al. · arXiv (Cornell University)
PDF
Process-Driven Autoformalization in Lean 4
2024 · Lu, Jianqiao, Wan, Yingjia, et al. · arXiv (Cornell University)
PDF
Improving End-to-End Speech Processing by Efficient Text Data Utilization with Latent Synthesis
2023 · Jianqiao Lu, Wenyong Huang, et al. · Findings of the Association for Computational Linguistics: EMNLP (Findings of EMNLP)
PDF
Works count: 23
Citation count: 42
H-index: 3
I10-index: 1
Year
Topic
Type