Jianqiao Lu 陆剑桥
About me
Currently pursuing a PhD under the supervision of Prof. Zhiyi Huang, with a primary research focus on Large Language Models and Online Matching Theory.
Email jqlu@cs.hku.hk
Collaboration
I feel fortunate and empowered to work closely with Dr. Zhijiang Guo, Dr. Zhengying Liu, Dr. Yinya Huang, and Yingjia Wan. Our collaboration focuses on advancing topics in both formal and informal mathematical reasoning for Large Language Models, driving innovation and excellence in these fields. .
News
- May 2024: "Planning, Creation, Usage: Benchmarking LLMs for Comprehensive Tool Utilization in Real-World Complex Scenarios" , was accepted to ACL 2024. Code
- Jan 2024: (First Author) "Improving End-to-End Speech Processing by Efficient Text Data Utilization with Latent Synthesis" , was accepted to EMNLP 2023.
Preprint
Large Language Models
- Oct 2023: (First Author) "SELF: Self-Evolution with Language Feedback", was released on arXiv. (A self-evolution framework for autonomous self-improvement of large language models through self-feedback and iterative self-refinement.)
- Jan 2024: (First Author) "YODA: Teacher-Student Progressive Learning for Language Models", was released on arXiv. (A learning framework that mimics human progressive learning to enhance language model fine-tuning.)
- Jan 2024: (Equal Contribution) "MHPP: Exploring the Capabilities and Limitations of Language Models Beyond Basic Code Generation", was released on arXiv. (A benchmark to rigorously assess LLMs' code generation abilities, revealing significant gaps in existing benchmarks and providing new insights into LLMs' strengths and weaknesses.)
- May 2024: "Proving Theorems Recursively", was released on arXiv.
- May 2024: (First Author) "AUTOCV: Empowering Reasoning with Automated Process Labeling via Confidence Variation", was released on arXiv.
- May 2024: (First Author) "Process-Driven Autoformalization in Lean 4" , was released on arXiv.
- May 2024: "Mr.Bean: A Comprehensive Meta-Reasoning Benchmark for Analyzing Large Language Models" , will be soon released on arXiv.
- May 2024: "DialogBench: An Interactive Benchmark for Humanized Dialogue Agent" , will be soon released on arXiv.
- June 2024: "FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving" , will be soon released on arXiv.
- June 2024: (First Author) "AUTOALIGN: Automated Alignment Evaluation in Autoformalization" , will be soon released on arXiv.
- June 2024: (First Author) "NATLEANER: Bridging Natural Language and Formal Verification in Lean 4" , will be soon released on arXiv.
Online Matching
- Jan 2024: (Equal Contribution) "Online Matching Meets Sampling Without Replacement", will be released soon on arXiv. (This paper presents groundbreaking analyses demonstrating that sampling without replacement significantly enhances the competitiveness of online matching algorithms, offering both empirical evidence and novel theoretical insights.)
Office
LG101, Chow Yei Ching Building, Department of Computer Science, The University of Hong Kong.